Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454, 455, 456 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 57, 58, 59, 60, 61, 62, 63, 64, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 116, 117, 118, 119, 120, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 214, 215, 216, 217, 218, 219, 220, 223, 226, 227, 228, 229, 230, 232, 233, 241, 242, 243, 245, 246, 247, 249, 250, 251, 252, 253, 260, 261, 262, 263, 264, 265, 272, 273, 274, 275, 276, 277, 278, 282, 283, 284, 285, 286, 287, 288, 289, 293, 294, 295, 296, 297, 298, 299, 300, 305, 306, 307, 308, 309, 310, 311, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 432, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454, 455, 456 }

B grade: { 56, 65, 115, 121, 213, 236, 237, 238, 239, 240, 244, 363, 430, 431 }

C grade: { 221, 222, 224, 225, 231, 234, 235, 248, 254, 255, 256, 257, 258, 259, 266, 267, 268, 269, 270, 271, 279, 280, 281, 290, 291, 292, 301, 302, 303, 304, 312 }

F grade: { 433, 434, 435, 436, 437, 438, 439}

2.1.3 Maple

A grade: { 4, 5, 74, 75, 127, 128, 129, 147, 157, 158, 159, 160, 161, 166, 167, 168, 170, 241, 243, 244, 249, 250, 275, 322, 323, 327, 328, 337, 338, 339, 340, 341, 343, 344, 345, 346, 347, 348, 349, 406, 407, 409, 410, 411, 412, 413, 414, 416, 417, 418, 419, 420, 444, 445, 452, 453 }

B grade: { 245, 342 }

C grade: { 1, 2, 3, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 95, 96, 103, 109, 110, 115, 116, 117, 121, 162, 163, 164, 165, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 242, 246, 317, 318, 319, 320, 321, 326, 329, 330, 331, 332, 333, 334, 335, 336, 351, 352, 353, 354, 359, 360, 361, 362, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 408, 415, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 440, 441, 442, 443, 454, 455 }

F grade: { 92, 93, 94, 97, 98, 99, 100, 101, 102, 104, 105, 106, 107, 108, 111, 112, 113, 114, 118, 119, 120, 122, 123, 124, 125, 126, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 148, 149, 150, 151, 152, 153, 154, 155, 156, 169, 247, 248, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 324, 325, 350, 355, 356, 357, 358, 363, 364, 365, 366, 431, 432, 433, 434, 435, 436, 437, 438, 439, 446, 447, 448, 449, 450, 451, 456 }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 42, 49, 57, 58, 67, 68, 69, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 120, 127, 128, 129, 157, 158, 159, 160, 161, 166, 167, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 223, 233, 244, 249, 250, 275, 309, 317, 322, 323, 327, 328, 337, 338, 339, 340, 341, 342, 343, 344, 356, 357, 358, 406, 407, 409, 410, 411, 412, 413, 414, 416, 417, 418, 419, 444, 445

B grade: { 48, 56, 65, 66, 70, 74, 75, 232, 241, 242, 243, 345, 346, 347, 348, 349, 454 }

C grade: { }

F grade: { 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 43, 44, 45, 46, 47, 50, 51, 52, 53, 54, 55, 59, 60, 61, 62, 63, 64, 71, 72, 73, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 121, 122, 123, 124, 125, 126, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 162, 163, 164, 165, 168, 169, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 224, 225, 226, 227, 228, 229, 230, 231, 234, 235, 236, 237, 238, 239, 240, 245, 246, 247, 248, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 310, 311, 312, 313, 314, 315, 316, 318, 319, 320, 321, 324, 325, 326, 329, 330, 331, 332, 333, 334, 335, 336, 350, 351, 352, 353, 354, 355, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 408, 415, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 446, 447, 448, 449, 450, 451, 452, 453, 455, 456 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 42, 49, 57, 58, 67, 68, 74, 75, 81, 82, 83, 130, 131, 132, 133, 137, 138, 139, 140, 144, 145, 146, 147, 151, 152, 153, 154, 157, 158, 159, 160, 161, 165, 166, 167, 168, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 223, 233, 241, 242, 249, 250, 251, 252, 253, 260, 261, 262, 263, 264, 265, 272, 273, 274, 275, 276, 277, 278, 283, 284, 285, 286, 287, 288, 289, 293, 294, 295, 296, 297, 298, 299, 300, 305, 306, 307, 308, 309, 310, 315, 316, 317, 321, 322, 323, 327, 328, 348, 349, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 364, 370, 382, 395, 406, 407, 408, 409, 410, 411, 412, 413, 414, 416, 417, 418, 419, 420, 421, 422, 423, 424, 443, 444, 445, 452, 453 }

B grade: { 22, 48, 56, 65, 66, 69, 70, 76, 77, 78, 79, 80, 84, 85, 86, 87, 88, 89, 90, 91, 162, 163, 164, 198, 232, 318, 319, 320, 345, 346, 347, 350, 365, 366, 367, 368, 369, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 415, 425, 426, 427, 428, 429, 440, 441, 442, 454 }

C grade: { 363, 430, 431, 432 }

F grade: { 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 43, 44, 45, 46, 47, 50, 51, 52, 53, 54, 55, 59, 60, 61, 62, 63, 64, 71, 72, 73, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 134, 135, 136, 141, 142, 143, 148, 149, 150, 155, 156, 169, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 224, 225, 226, 227, 228, 229, 230, 231, 234, 235, 236, 237, 238, 239, 240, 243, 244, 245, 246, 247, 248, 254, 255, 256, 257, 258, 259, 266, 267, 268, 269, 270, 271, 279, 280, 281, 282, 290, 291, 292, 301, 302, 303, 304, 311, 312, 313, 314, 324, 325, 326, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 433, 434, 435, 436, 437, 438, 439, 446, 447, 448, 449, 450, 451, 455, 456 }

2.1.6 Sympy

A grade: { 4, 5, 6, 7, 8, 13, 14, 15, 16, 17, 18, 21, 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 36, 37, 38, 39, 40, 42, 44, 46, 47, 48, 49, 50, 51, 53, 54, 55, 56, 57, 58, 59, 60, 65, 66, 67, 68, 69, 70, 80, 89, 120, 127, 128, 129, 131, 132, 133, 140, 146, 147, 151, 152, 153, 154, 157, 158, 159, 160, 161, 166, 167, 168, 169, 170, 174, 175, 176, 179, 180, 181, 182, 186, 187, 188, 191, 192, 193, 194, 195, 197, 199, 200, 201, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 223, 242, 253, 275, 278, 288, 289, 299, 317, 322, 329, 330, 331, 332, 335, 336, 337, 338, 339, 340, 343, 344, 368, 369, 373, 374, 375, 380, 381, 387, 388, 389, 400, 401, 406, 407, 409, 410, 411, 412, 414, 444, 454 }

B grade: { 1, 2, 3, 9, 10, 11, 12, 19, 20, 22, 27, 76, 77, 78, 79, 81, 82, 83, 84, 85, 86, 87, 88, 90, 91, 130, 139, 171, 172, 173, 177, 178, 183, 184, 185, 189, 190, 196, 198, 202, 203, 300 }

C grade: { 35, 241, 334, 342, 348, 349 }

F grade: { 34, 41, 43, 45, 52, 61, 62, 63, 64, 71, 72, 73, 74, 75, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 121, 122, 123, 124, 125, 126, 134, 135, 136, 137, 138, 141, 142, 143, 144, 145, 148, 149, 150, 155, 156, 162, 163, 164, 165, 214, 215, 216, 217, 218, 219, 220, 221, 222, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 276, 277, 279, 280, 281, 282, 283, 284, 285, 286, 287, 290, 291, 292, 293, 294, 295, 296, 297, 298, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 318, 319, 320, 321, 323, 324, 325, 326, 327, 328, 333, 341, 345, 346, 347, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 370, 371, 372, 376, 377, 378, 379, 382, 383, 384, 385, 386, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 402, 403, 404, 405, 408, 413, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 445, 446, 447, 448, 449, 450, 451, 452, 453, 455, 456 }

2.1.7 Giac

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 42, 49, 57, 67, 127, 128, 129, 147, 154, 157, 158, 159, 160, 161, 166, 167, 168, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 223, 233, 249, 250, 251, 252, 253, 275, 317, 322, 323, 327, 328, 352, 353, 354, 370, 382, 395, 406, 407, 409, 410, 411, 412, 413, 414, 416, 417, 418, 419, 421, 422, 423, 444, 445, 452, 453 }

B grade: { 22, 48, 56, 58, 65, 66, 68, 69, 70, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 162, 163, 164, 165, 198, 232, 318, 319, 320, 321, 351, 356, 357, 358, 359, 360, 361, 362, 367, 368, 369, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 385, 386, 387, 392, 393, 394, 398, 399, 400, 427, 428, 429, 440, 441, 442, 443, 454 }

C grade: { }

F grade: { 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 43, 44, 45, 46, 47, 50, 51, 52, 53, 54, 55, 59, 60, 61, 62, 63, 64, 71, 72, 73, 74, 75, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 148, 149, 150, 151, 152, 153, 155, 156, 169, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 224, 225, 226, 227, 228, 229, 230, 231, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 324, 325, 326, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 355, 363, 364, 365, 366, 383, 384, 388, 389, 390, 391, 396, 397, 401, 402, 403, 404, 405, 408, 415, 420, 424, 425, 426, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 446, 447, 448, 449, 450, 451, 455, 456 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)










Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 48 264 77 181 87 99
normalized size 1 1. 1. 5.5 1.6 3.77 1.81 2.06
time (sec) N/A 0.052 0.024 0.191 1.15 0.986 9.231 1.249


















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 45 264 77 180 87 99
normalized size 1 1. 0.94 5.5 1.6 3.75 1.81 2.06
time (sec) N/A 0.05 0.024 0.234 1.166 0.958 3.34 1.258


















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 48 264 77 176 87 99
normalized size 1 1. 1. 5.5 1.6 3.67 1.81 2.06
time (sec) N/A 0.036 0.019 0.207 1.188 1.002 4.011 1.228


















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 41 55 52 66 154 73 84
normalized size 1 0.85 1.15 1.08 1.38 3.21 1.52 1.75
time (sec) N/A 0.016 0.002 0.054 1.199 0.975 0.823 1.303


















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 43 46 55 123 58 66
normalized size 1 1. 0.98 1.05 1.25 2.8 1.32 1.5
time (sec) N/A 0.049 0.002 0.06 1.081 1.001 2.857 1.282


















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 43 48 250 66 136 53 76
normalized size 1 0.9 1. 5.21 1.38 2.83 1.1 1.58
time (sec) N/A 0.05 0.025 0.139 1.151 1.021 16.615 1.26


















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 41 232 77 140 75 77
normalized size 1 1. 0.68 3.87 1.28 2.33 1.25 1.28
time (sec) N/A 0.049 0.023 0.097 1.14 0.975 1.741 1.319


















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 48 47 235 77 154 88 78
normalized size 1 0.84 0.82 4.12 1.35 2.7 1.54 1.37
time (sec) N/A 0.045 0.023 0.11 1.159 1.047 2.557 1.294


















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 81 432 135 293 158 166
normalized size 1 1. 1.09 5.84 1.82 3.96 2.14 2.24
time (sec) N/A 0.09 0.051 0.245 1.171 1.018 14.376 1.332


















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 81 432 135 288 151 166
normalized size 1 1. 1.09 5.84 1.82 3.89 2.04 2.24
time (sec) N/A 0.08 0.04 0.21 1.224 0.994 21.052 1.339


















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 81 432 135 282 158 166
normalized size 1 1. 1.09 5.84 1.82 3.81 2.14 2.24
time (sec) N/A 0.063 0.039 0.228 1.141 1. 3.137 1.344


















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 77 414 122 257 133 147
normalized size 1 1. 1.1 5.91 1.74 3.67 1.9 2.1
time (sec) N/A 0.038 0.039 0.218 1.184 0.959 1.905 1.232


















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 63 83 410 113 244 128 135
normalized size 1 0.79 1.04 5.12 1.41 3.05 1.6 1.69
time (sec) N/A 0.071 0.046 0.239 1.071 0.994 1.381 1.328


















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 61 76 419 112 215 109 136
normalized size 1 0.78 0.97 5.37 1.44 2.76 1.4 1.74
time (sec) N/A 0.076 0.054 0.253 1.151 1.022 5.912 1.442


















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 67 84 418 122 242 99 142
normalized size 1 0.8 1. 4.98 1.45 2.88 1.18 1.69
time (sec) N/A 0.079 0.055 0.149 1.142 1.066 20.712 1.348


















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 76 401 135 246 134 146
normalized size 1 1. 1.01 5.35 1.8 3.28 1.79 1.95
time (sec) N/A 0.071 0.039 0.121 1.161 0.97 2.583 1.285


















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 74 80 403 135 261 160 146
normalized size 1 0.78 0.84 4.24 1.42 2.75 1.68 1.54
time (sec) N/A 0.076 0.038 0.122 1.084 1.005 3.943 1.489


















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 74 80 403 135 273 153 146
normalized size 1 0.78 0.84 4.24 1.42 2.87 1.61 1.54
time (sec) N/A 0.076 0.039 0.121 1.458 1.019 8.204 1.29


















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 133 600 193 402 223 234
normalized size 1 1. 1.33 6. 1.93 4.02 2.23 2.34
time (sec) N/A 0.106 0.058 0.217 1.093 0.988 43.689 1.335


















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 133 600 193 398 230 234
normalized size 1 1. 1.33 6. 1.93 3.98 2.3 2.34
time (sec) N/A 0.102 0.049 0.223 1.172 1.017 7.322 1.293


















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 130 598 190 394 218 230
normalized size 1 1. 1.07 4.9 1.56 3.23 1.79 1.89
time (sec) N/A 0.091 0.119 0.225 0.984 1.021 3.671 1.207


















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 110 571 180 360 204 215
normalized size 1 1. 1.29 6.72 2.12 4.24 2.4 2.53
time (sec) N/A 0.043 0.046 0.227 1.133 0.998 3.982 1.271


















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 94 123 579 171 355 199 203
normalized size 1 0.77 1.01 4.75 1.4 2.91 1.63 1.66
time (sec) N/A 0.088 0.061 0.246 1.236 1.037 2.58 1.234


















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 119 92 118 588 171 338 182 208
normalized size 1 0.77 0.99 4.94 1.44 2.84 1.53 1.75
time (sec) N/A 0.088 0.08 0.276 1.118 1.035 4.766 1.318


















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 118 91 115 586 169 338 182 208
normalized size 1 0.77 0.97 4.97 1.43 2.86 1.54 1.76
time (sec) N/A 0.091 0.078 0.263 1.092 1.015 2.945 1.333


















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 98 122 589 180 360 144 209
normalized size 1 0.78 0.97 4.67 1.43 2.86 1.14 1.66
time (sec) N/A 0.108 0.079 0.166 1.085 1.043 9.138 1.363


















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 109 569 193 352 206 213
normalized size 1 1. 1.21 6.32 2.14 3.91 2.29 2.37
time (sec) N/A 0.082 0.052 0.14 1.139 1.045 7.809 1.352


















Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 133 113 571 193 378 219 213
normalized size 1 0.94 0.8 4.02 1.36 2.66 1.54 1.5
time (sec) N/A 0.098 0.052 0.136 1.149 0.992 9.255 1.211


















Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 133 100 113 571 193 382 231 213
normalized size 1 0.75 0.85 4.29 1.45 2.87 1.74 1.6
time (sec) N/A 0.096 0.052 0.138 1.109 1.082 17.431 1.288


















Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 133 100 113 571 193 393 224 213
normalized size 1 0.75 0.85 4.29 1.45 2.95 1.68 1.6
time (sec) N/A 0.106 0.052 0.138 1.124 1.045 17.833 1.335


















Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 148 148 142 693 0 0 248 0
normalized size 1 1. 0.96 4.68 0. 0. 1.68 0.
time (sec) N/A 0.177 0.076 0.217 0. 0. 41.488 0.


















Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 105 521 0 0 199 0
normalized size 1 1. 0.98 4.87 0. 0. 1.86 0.
time (sec) N/A 0.136 0.051 0.187 0. 0. 33.015 0.


















Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 66 343 0 0 144 0
normalized size 1 1. 0.96 4.97 0. 0. 2.09 0.
time (sec) N/A 0.094 0.032 0.22 0. 0. 41.553 0.


















Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 37 195 0 0 0 0
normalized size 1 1. 0.95 5. 0. 0. 0. 0.
time (sec) N/A 0.026 0.007 0.167 0. 0. 0. 0.


















Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 66 63 336 0 0 158 0
normalized size 1 1.5 1.43 7.64 0. 0. 3.59 0.
time (sec) N/A 0.091 0.032 0.142 0. 0. 23.224 0.


















Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 95 88 504 0 0 197 0
normalized size 1 1.28 1.19 6.81 0. 0. 2.66 0.
time (sec) N/A 0.145 0.083 0.178 0. 0. 127.667 0.


















Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 135 124 689 0 0 246 0
normalized size 1 1.23 1.13 6.26 0. 0. 2.24 0.
time (sec) N/A 0.171 0.197 0.158 0. 0. 123.158 0.


















Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 150 173 159 868 0 0 296 0
normalized size 1 1.15 1.06 5.79 0. 0. 1.97 0.
time (sec) N/A 0.212 0.174 0.163 0. 0. 150.42 0.


















Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 152 151 141 739 0 0 304 0
normalized size 1 0.99 0.93 4.86 0. 0. 2. 0.
time (sec) N/A 0.181 0.116 0.205 0. 0. 131.855 0.


















Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 106 98 558 0 0 250 0
normalized size 1 1.08 1. 5.69 0. 0. 2.55 0.
time (sec) N/A 0.143 0.089 0.193 0. 0. 106.449 0.


















Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 74 71 389 0 0 0 0
normalized size 1 1.14 1.09 5.98 0. 0. 0. 0.
time (sec) N/A 0.108 0.062 0.146 0. 0. 0. 0.


















Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 41 173 85 119 189 78
normalized size 1 1. 1.05 4.44 2.18 3.05 4.85 2.
time (sec) N/A 0.019 0.029 0.1 1.141 1.049 4.01 1.296


















Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 102 96 521 0 0 0 0
normalized size 1 1.27 1.2 6.51 0. 0. 0. 0.
time (sec) N/A 0.16 0.078 0.157 0. 0. 0. 0.


















Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 114 134 120 703 0 0 299 0
normalized size 1 1.18 1.05 6.17 0. 0. 2.62 0.
time (sec) N/A 0.179 0.138 0.169 0. 0. 71.797 0.


















Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 154 178 165 910 0 0 0 0
normalized size 1 1.16 1.07 5.91 0. 0. 0. 0.
time (sec) N/A 0.213 0.218 0.168 0. 0. 0. 0.


















Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 167 150 764 0 0 372 0
normalized size 1 1.12 1.01 5.13 0. 0. 2.5 0.
time (sec) N/A 0.216 0.137 0.209 0. 0. 58.263 0.


















Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 132 122 596 0 0 328 0
normalized size 1 1.23 1.14 5.57 0. 0. 3.07 0.
time (sec) N/A 0.183 0.109 0.148 0. 0. 49.505 0.


















Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 75 349 154 251 425 165
normalized size 1 1. 1.21 5.63 2.48 4.05 6.85 2.66
time (sec) N/A 0.05 0.115 0.11 1.113 1.066 23.424 1.262


















Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 53 235 134 238 559 162
normalized size 1 1. 0.7 3.09 1.76 3.13 7.36 2.13
time (sec) N/A 0.034 0.054 0.101 1.086 1.067 5.937 1.265


















Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 134 156 141 703 0 0 335 0
normalized size 1 1.16 1.05 5.25 0. 0. 2.5 0.
time (sec) N/A 0.25 0.12 0.156 0. 0. 70.218 0.


















Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 171 193 173 894 0 0 425 0
normalized size 1 1.13 1.01 5.23 0. 0. 2.49 0.
time (sec) N/A 0.248 0.17 0.168 0. 0. 97.387 0.


















Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 217 239 227 1119 0 0 0 0
normalized size 1 1.1 1.05 5.16 0. 0. 0. 0.
time (sec) N/A 0.274 0.369 0.174 0. 0. 0. 0.


















Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 229 260 249 1153 0 0 598 0
normalized size 1 1.14 1.09 5.03 0. 0. 2.61 0.
time (sec) N/A 0.32 0.297 0.204 0. 0. 127.016 0.


















Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 183 211 207 969 0 0 544 0
normalized size 1 1.15 1.13 5.3 0. 0. 2.97 0.
time (sec) N/A 0.281 0.245 0.198 0. 0. 73.04 0.


















Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 141 178 179 801 0 0 500 0
normalized size 1 1.26 1.27 5.68 0. 0. 3.55 0.
time (sec) N/A 0.254 0.219 0.158 0. 0. 66.242 0.


















Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 172 553 242 392 646 261
normalized size 1 1. 2.18 7. 3.06 4.96 8.18 3.3
time (sec) N/A 0.071 0.116 0.131 1.131 1.079 12.317 1.323


















Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 135 403 203 346 799 238
normalized size 1 1. 1.15 3.44 1.74 2.96 6.83 2.03
time (sec) N/A 0.087 0.09 0.115 1.154 1.071 11.687 1.279


















Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 66 284 194 356 881 242
normalized size 1 1. 0.69 2.99 2.04 3.75 9.27 2.55
time (sec) N/A 0.041 0.074 0.101 1.171 1.085 13.041 1.301


















Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 174 196 222 884 0 0 493 0
normalized size 1 1.13 1.28 5.08 0. 0. 2.83 0.
time (sec) N/A 0.357 0.171 0.164 0. 0. 130.542 0.


















Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 211 231 231 1083 0 0 595 0
normalized size 1 1.09 1.09 5.13 0. 0. 2.82 0.
time (sec) N/A 0.3 0.274 0.174 0. 0. 140.599 0.


















Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 263 285 276 1324 0 0 0 0
normalized size 1 1.08 1.05 5.03 0. 0. 0. 0.
time (sec) N/A 0.346 0.339 0.177 0. 0. 0. 0.


















Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 329 394 403 1768 0 0 0 0
normalized size 1 1.2 1.22 5.37 0. 0. 0. 0.
time (sec) N/A 0.639 0.481 0.24 0. 0. 0. 0.


















Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 285 351 356 1584 0 0 0 0
normalized size 1 1.23 1.25 5.56 0. 0. 0. 0.
time (sec) N/A 0.571 0.566 0.23 0. 0. 0. 0.


















Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 243 316 333 1416 0 0 0 0
normalized size 1 1.3 1.37 5.83 0. 0. 0. 0.
time (sec) N/A 0.538 0.448 0.174 0. 0. 0. 0.


















Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 136 136 335 1165 509 809 2018 524
normalized size 1 1. 2.46 8.57 3.74 5.95 14.84 3.85
time (sec) N/A 0.11 0.285 0.173 1.248 1.114 125.053 1.384


















Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 163 163 316 1022 483 790 2179 516
normalized size 1 1. 1.94 6.27 2.96 4.85 13.37 3.17
time (sec) N/A 0.129 0.26 0.158 1.195 1.147 118.247 1.243


















Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 226 226 281 867 456 748 2280 502
normalized size 1 1. 1.24 3.84 2.02 3.31 10.09 2.22
time (sec) N/A 0.204 0.223 0.151 1.233 1.556 103.044 1.227


















Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 199 199 192 712 427 729 2380 489
normalized size 1 1. 0.96 3.58 2.15 3.66 11.96 2.46
time (sec) N/A 0.165 0.193 0.133 1.243 1.452 141.94 1.242


















Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 174 174 160 557 397 722 2480 475
normalized size 1 1. 0.92 3.2 2.28 4.15 14.25 2.73
time (sec) N/A 0.118 0.148 0.128 1.201 1.496 135.978 1.265


















Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 152 152 99 431 373 703 2519 464
normalized size 1 1. 0.65 2.84 2.45 4.62 16.57 3.05
time (sec) N/A 0.065 0.13 0.109 1.234 1.452 154.069 1.218


















Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 294 316 349 1427 0 0 0 0
normalized size 1 1.07 1.19 4.85 0. 0. 0. 0.
time (sec) N/A 0.726 0.353 0.181 0. 0. 0. 0.


















Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 339 361 401 1650 0 0 0 0
normalized size 1 1.06 1.18 4.87 0. 0. 0. 0.
time (sec) N/A 0.581 0.624 0.194 0. 0. 0. 0.


















Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 401 423 486 1939 0 0 0 0
normalized size 1 1.05 1.21 4.84 0. 0. 0. 0.
time (sec) N/A 0.637 0.543 0.199 0. 0. 0. 0.


















Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 9 65 26 0 0
normalized size 1 1. 1. 0.75 5.42 2.17 0. 0.
time (sec) N/A 0.011 0.002 0.038 1.21 0.977 0. 0.


















Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 10 10 11 7 61 23 0 0
normalized size 1 1. 1.1 0.7 6.1 2.3 0. 0.
time (sec) N/A 0.011 0.002 0.039 1.108 0.934 0. 0.


















Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 109 109 82 1622 204 514 309 339
normalized size 1 1. 0.75 14.88 1.87 4.72 2.83 3.11
time (sec) N/A 0.143 0.057 0.268 1.126 1.022 3.833 1.349


















Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 109 109 82 1621 203 506 304 335
normalized size 1 1. 0.75 14.87 1.86 4.64 2.79 3.07
time (sec) N/A 0.112 0.052 0.264 1.126 1.011 2.494 1.286


















Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 77 1548 184 459 270 304
normalized size 1 1. 0.76 15.33 1.82 4.54 2.67 3.01
time (sec) N/A 0.072 0.048 0.268 1.013 1.022 1.942 1.483


















Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 59 1555 136 347 204 228
normalized size 1 1. 0.84 22.21 1.94 4.96 2.91 3.26
time (sec) N/A 0.083 0.021 0.338 1.14 1.035 1.744 1.216


















Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 63 1544 154 360 182 232
normalized size 1 1. 0.88 21.44 2.14 5. 2.53 3.22
time (sec) N/A 0.117 0.035 0.258 1.125 1.04 8.284 1.206


















Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 90 1483 203 420 272 277
normalized size 1 1. 0.87 14.4 1.97 4.08 2.64 2.69
time (sec) N/A 0.134 0.048 0.198 1.062 0.992 1.399 1.342


















Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 109 109 82 1486 204 454 306 278
normalized size 1 1. 0.75 13.63 1.87 4.17 2.81 2.55
time (sec) N/A 0.133 0.057 0.208 1.106 1.039 2.288 1.254


















Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 109 109 82 1486 204 467 311 278
normalized size 1 1. 0.75 13.63 1.87 4.28 2.85 2.55
time (sec) N/A 0.135 0.053 0.204 1.156 1.021 4.397 1.387


















Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 178 178 149 2597 338 830 517 551
normalized size 1 1. 0.84 14.59 1.9 4.66 2.9 3.1
time (sec) N/A 0.218 0.086 0.306 1.232 1.057 7.052 1.295


















Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 178 178 134 2597 338 803 510 551
normalized size 1 1. 0.75 14.59 1.9 4.51 2.87 3.1
time (sec) N/A 0.181 0.09 0.3 1.068 1.03 5.716 1.275


















Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 173 141 135 2565 317 757 478 520
normalized size 1 0.82 0.78 14.83 1.83 4.38 2.76 3.01
time (sec) N/A 0.127 0.069 0.35 1.163 1.011 2.524 1.28


















Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 137 137 114 2543 267 660 398 433
normalized size 1 1. 0.83 18.56 1.95 4.82 2.91 3.16
time (sec) N/A 0.231 0.038 0.369 1.203 1.071 2.833 1.302


















Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 133 133 107 2521 270 620 384 444
normalized size 1 1. 0.8 18.95 2.03 4.66 2.89 3.34
time (sec) N/A 0.172 0.039 0.418 1.187 1.019 3.104 1.274


















Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 137 137 117 2520 284 652 357 439
normalized size 1 1. 0.85 18.39 2.07 4.76 2.61 3.2
time (sec) N/A 0.192 0.082 0.331 1.199 1.019 14.059 1.369


















Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 131 2473 338 724 479 494
normalized size 1 1. 0.78 14.72 2.01 4.31 2.85 2.94
time (sec) N/A 0.208 0.091 0.251 1.225 1.044 3.906 1.363


















Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 178 178 134 2475 339 756 512 494
normalized size 1 1. 0.75 13.9 1.9 4.25 2.88 2.78
time (sec) N/A 0.205 0.092 0.254 1.133 1.041 5.572 1.309


















Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 271 271 211 0 0 0 0 0
normalized size 1 1. 0.78 0. 0. 0. 0. 0.
time (sec) N/A 0.276 0.162 0.749 0. 0. 0. 0.


















Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 200 200 158 0 0 0 0 0
normalized size 1 1. 0.79 0. 0. 0. 0. 0.
time (sec) N/A 0.217 0.098 0.704 0. 0. 0. 0.


















Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 130 130 103 0 0 0 0 0
normalized size 1 1. 0.79 0. 0. 0. 0. 0.
time (sec) N/A 0.155 0.065 0.718 0. 0. 0. 0.


















Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 68 1412 0 0 0 0
normalized size 1 1. 0.94 19.61 0. 0. 0. 0.
time (sec) N/A 0.061 0.025 0.295 0. 0. 0. 0.


















Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 98 94 2315 0 0 0 0
normalized size 1 1.24 1.19 29.3 0. 0. 0. 0.
time (sec) N/A 0.157 0.053 0.421 0. 0. 0. 0.


















Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 155 130 0 0 0 0 0
normalized size 1 1.15 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.242 0.1 0.683 0. 0. 0. 0.


















Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 204 226 185 0 0 0 0 0
normalized size 1 1.11 0.91 0. 0. 0. 0. 0.
time (sec) N/A 0.292 0.13 0.738 0. 0. 0. 0.


















Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 273 295 237 0 0 0 0 0
normalized size 1 1.08 0.87 0. 0. 0. 0. 0.
time (sec) N/A 0.357 0.129 0.79 0. 0. 0. 0.


















Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 281 281 240 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.31 0.203 0.688 0. 0. 0. 0.


















Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 203 203 186 0 0 0 0 0
normalized size 1 1. 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.261 0.158 0.726 0. 0. 0. 0.


















Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 143 143 142 0 0 0 0 0
normalized size 1 1. 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.202 0.124 0.7 0. 0. 0. 0.


















Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 81 755 0 0 0 0
normalized size 1 1. 1.05 9.81 0. 0. 0. 0.
time (sec) N/A 0.058 0.047 0.245 0. 0. 0. 0.


















Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 151 170 166 0 0 0 0 0
normalized size 1 1.13 1.1 0. 0. 0. 0. 0.
time (sec) N/A 0.308 0.164 0.771 0. 0. 0. 0.


















Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 211 231 223 0 0 0 0 0
normalized size 1 1.09 1.06 0. 0. 0. 0. 0.
time (sec) N/A 0.315 0.307 0.717 0. 0. 0. 0.


















Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 285 304 268 0 0 0 0 0
normalized size 1 1.07 0.94 0. 0. 0. 0. 0.
time (sec) N/A 0.377 0.181 0.875 0. 0. 0. 0.


















Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 296 296 258 0 0 0 0 0
normalized size 1 1. 0.87 0. 0. 0. 0. 0.
time (sec) N/A 0.49 0.257 0.896 0. 0. 0. 0.


















Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 232 232 212 0 0 0 0 0
normalized size 1 1. 0.91 0. 0. 0. 0. 0.
time (sec) N/A 0.446 0.228 0.727 0. 0. 0. 0.


















Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 176 155 1199 0 0 0 0
normalized size 1 1.57 1.38 10.71 0. 0. 0. 0.
time (sec) N/A 0.357 0.22 0.275 0. 0. 0. 0.


















Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 145 146 990 0 0 0 0
normalized size 1 1.15 1.16 7.86 0. 0. 0. 0.
time (sec) N/A 0.201 0.101 0.256 0. 0. 0. 0.


















Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 257 257 232 0 0 0 0 0
normalized size 1 1. 0.9 0. 0. 0. 0. 0.
time (sec) N/A 0.594 0.252 0.718 0. 0. 0. 0.


















Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 322 322 290 0 0 0 0 0
normalized size 1 1. 0.9 0. 0. 0. 0. 0.
time (sec) N/A 0.538 0.413 0.768 0. 0. 0. 0.


















Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 398 398 344 0 0 0 0 0
normalized size 1 1. 0.86 0. 0. 0. 0. 0.
time (sec) N/A 0.826 0.64 0.868 0. 0. 0. 0.


















Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 333 333 298 0 0 0 0 0
normalized size 1 1. 0.89 0. 0. 0. 0. 0.
time (sec) N/A 0.786 0.434 0.845 0. 0. 0. 0.


















Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 161 274 371 1658 0 0 0 0
normalized size 1 1.7 2.3 10.3 0. 0. 0. 0.
time (sec) N/A 0.716 0.462 0.301 0. 0. 0. 0.


















Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 210 229 281 1400 0 0 0 0
normalized size 1 1.09 1.34 6.67 0. 0. 0. 0.
time (sec) N/A 0.62 0.235 0.276 0. 0. 0. 0.


















Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 203 221 211 1227 0 0 0 0
normalized size 1 1.09 1.04 6.04 0. 0. 0. 0.
time (sec) N/A 0.312 0.156 0.277 0. 0. 0. 0.


















Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 351 351 318 0 0 0 0 0
normalized size 1 1. 0.91 0. 0. 0. 0. 0.
time (sec) N/A 1.012 0.414 0.852 0. 0. 0. 0.


















Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 420 420 378 0 0 0 0 0
normalized size 1 1. 0.9 0. 0. 0. 0. 0.
time (sec) N/A 0.893 0.658 0.846 0. 0. 0. 0.


















Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 157 96 0 178 0 357 0
normalized size 1 1.47 0.9 0. 1.66 0. 3.34 0.
time (sec) N/A 0.407 0.127 0.345 1.188 0. 34.425 0.


















Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 130 243 9909 0 0 0 0
normalized size 1 1.15 2.15 87.69 0. 0. 0. 0.
time (sec) N/A 0.208 0.176 0.718 0. 0. 0. 0.


















Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 217 234 432 0 0 0 0 0
normalized size 1 1.08 1.99 0. 0. 0. 0. 0.
time (sec) N/A 0.396 0.472 0.924 0. 0. 0. 0.


















Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 361 361 706 0 0 0 0 0
normalized size 1 1. 1.96 0. 0. 0. 0. 0.
time (sec) N/A 0.852 0.894 1.187 0. 0. 0. 0.


















Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 189 189 169 0 0 0 0 0
normalized size 1 1. 0.89 0. 0. 0. 0. 0.
time (sec) N/A 0.266 0.274 0.283 0. 0. 0. 0.


















Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 298 298 287 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.467 0.336 0.392 0. 0. 0. 0.


















Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 402 402 366 0 0 0 0 0
normalized size 1 1. 0.91 0. 0. 0. 0. 0.
time (sec) N/A 0.615 0.49 0.389 0. 0. 0. 0.


















Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.048 6.104 0.499 0. 0. 0. 0.


















Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 60 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.101 6.422 0.5 0. 0. 0. 0.


















Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A F(-2) A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 65 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.198 12.571 0.494 0. 0. 0. 0.


















Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A B F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 242 242 183 0 0 1220 518 0
normalized size 1 1. 0.76 0. 0. 5.04 2.14 0.
time (sec) N/A 0.22 0.406 0.606 0. 1.483 26.501 0.


















Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 192 192 151 0 0 990 364 0
normalized size 1 1. 0.79 0. 0. 5.16 1.9 0.
time (sec) N/A 0.176 0.196 0.593 0. 1.479 12.976 0.


















Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 142 116 0 0 722 224 0
normalized size 1 1. 0.82 0. 0. 5.08 1.58 0.
time (sec) N/A 0.101 0.118 0.616 0. 1.428 7.373 0.


















Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 77 0 0 475 102 0
normalized size 1 1. 0.82 0. 0. 5.05 1.09 0.
time (sec) N/A 0.042 0.068 0.588 0. 1.425 3.886 0.


















Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 211 211 331 0 0 0 0 0
normalized size 1 1. 1.57 0. 0. 0. 0. 0.
time (sec) N/A 0.331 0.206 0.53 0. 0. 0. 0.


















Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 221 221 392 0 0 0 0 0
normalized size 1 1. 1.77 0. 0. 0. 0. 0.
time (sec) N/A 0.278 0.327 0.515 0. 0. 0. 0.


















Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 298 298 500 0 0 0 0 0
normalized size 1 1. 1.68 0. 0. 0. 0. 0.
time (sec) N/A 0.339 0.538 0.52 0. 0. 0. 0.


















Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 263 263 187 0 0 1503 0 0
normalized size 1 1. 0.71 0. 0. 5.71 0. 0.
time (sec) N/A 0.24 0.328 0.572 0. 1.507 0. 0.


















Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 213 213 153 0 0 1223 0 0
normalized size 1 1. 0.72 0. 0. 5.74 0. 0.
time (sec) N/A 0.197 0.229 0.561 0. 1.47 0. 0.


















Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A B F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 163 163 120 0 0 960 583 0
normalized size 1 1. 0.74 0. 0. 5.89 3.58 0.
time (sec) N/A 0.117 0.168 0.557 0. 1.521 121.169 0.


















Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 87 0 0 710 333 0
normalized size 1 1. 0.76 0. 0. 6.17 2.9 0.
time (sec) N/A 0.051 0.083 0.563 0. 1.413 51.687 0.


















Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 255 255 375 0 0 0 0 0
normalized size 1 1. 1.47 0. 0. 0. 0. 0.
time (sec) N/A 0.456 0.253 0.485 0. 0. 0. 0.


















Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 259 259 480 0 0 0 0 0
normalized size 1 1. 1.85 0. 0. 0. 0. 0.
time (sec) N/A 0.324 0.333 0.504 0. 0. 0. 0.


















Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 293 293 501 0 0 0 0 0
normalized size 1 1. 1.71 0. 0. 0. 0. 0.
time (sec) N/A 0.384 0.584 0.479 0. 0. 0. 0.


















Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 217 217 150 0 0 990 0 0
normalized size 1 1. 0.69 0. 0. 4.56 0. 0.
time (sec) N/A 0.204 0.219 0.605 0. 1.471 0. 0.


















Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 118 0 0 748 0 0
normalized size 1 1. 0.7 0. 0. 4.43 0. 0.
time (sec) N/A 0.169 0.176 0.598 0. 1.455 0. 0.


















Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 119 119 80 0 0 494 473 0
normalized size 1 1. 0.67 0. 0. 4.15 3.97 0.
time (sec) N/A 0.091 0.1 0.551 0. 1.342 123.661 0.


















Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 55 70 0 308 252 105
normalized size 1 1. 0.8 1.01 0. 4.46 3.65 1.52
time (sec) N/A 0.034 0.047 0.049 0. 1.412 17.791 1.252


















Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 152 152 249 0 0 0 0 0
normalized size 1 1. 1.64 0. 0. 0. 0. 0.
time (sec) N/A 0.199 0.093 0.532 0. 0. 0. 0.


















Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 226 226 392 0 0 0 0 0
normalized size 1 1. 1.73 0. 0. 0. 0. 0.
time (sec) N/A 0.27 0.246 0.535 0. 0. 0. 0.


















Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 304 304 501 0 0 0 0 0
normalized size 1 1. 1.65 0. 0. 0. 0. 0.
time (sec) N/A 0.336 0.342 0.513 0. 0. 0. 0.


















Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 194 194 159 0 0 1031 386 0
normalized size 1 1. 0.82 0. 0. 5.31 1.99 0.
time (sec) N/A 0.195 0.118 0.502 0. 1.597 66.955 0.


















Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 146 146 124 0 0 784 262 0
normalized size 1 1. 0.85 0. 0. 5.37 1.79 0.
time (sec) N/A 0.162 0.09 0.557 0. 1.457 60.854 0.


















Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 83 0 0 537 155 0
normalized size 1 1. 0.88 0. 0. 5.71 1.65 0.
time (sec) N/A 0.087 0.069 0.525 0. 1.39 62.771 0.


















Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 53 0 0 382 66 77
normalized size 1 1. 1. 0. 0. 7.21 1.25 1.45
time (sec) N/A 0.032 0.042 0.522 0. 1.437 13.715 1.304


















Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 201 201 295 0 0 0 0 0
normalized size 1 1. 1.47 0. 0. 0. 0. 0.
time (sec) N/A 0.32 0.267 0.525 0. 0. 0. 0.


















Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 253 255 506 0 0 0 0 0
normalized size 1 1.01 2. 0. 0. 0. 0. 0.
time (sec) N/A 0.517 0.478 0.573 0. 0. 0. 0.


















Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 25 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.086 1.229 0.513 0. 0. 0. 0.


















Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.061 0.709 0.51 0. 0. 0. 0.


















Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.03 0.023 0.484 0. 0. 0. 0.


















Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 25 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.082 0.26 0.505 0. 0. 0. 0.


















Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 25 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.089 0.614 0.516 0. 0. 0. 0.


















Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 211 211 152 5021 0 2942 0 717
normalized size 1 1. 0.72 23.8 0. 13.94 0. 3.4
time (sec) N/A 0.228 0.225 0.482 0. 1.434 0. 1.401


















Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 153 108 2702 0 1474 0 505
normalized size 1 1. 0.71 17.66 0. 9.63 0. 3.3
time (sec) N/A 0.173 0.129 0.276 0. 1.335 0. 1.344


















Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 64 1122 0 558 0 293
normalized size 1 1. 0.67 11.81 0. 5.87 0. 3.08
time (sec) N/A 0.081 0.068 0.187 0. 1.433 0. 1.299


















Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 32 371 0 142 0 128
normalized size 1 1. 0.7 8.07 0. 3.09 0. 2.78
time (sec) N/A 0.017 0.013 0.109 0. 1.29 0. 1.327


















Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A NO TBD TBD TBD TBD TBD
size 25 0 72 0 0 0 0 0
normalized size 1 0. 2.88 0. 0. 0. 0. 0.
time (sec) N/A 0.055 0.102 0.869 0. 0. 0. 0.


















Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A NO TBD TBD TBD TBD TBD
size 25 0 72 0 0 0 0 0
normalized size 1 0. 2.88 0. 0. 0. 0. 0.
time (sec) N/A 0.053 0.103 0.671 0. 0. 0. 0.


















Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-2) A A A
verified N/A N/A Yes TBD TBD TBD TBD TBD
size 17 0 173 0 0 0 0 0
normalized size 1 0. 10.18 0. 0. 0. 0. 0.
time (sec) N/A 0.019 0.24 0.618 0. 0. 0. 0.


















Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 61 0 0 0 233 0
normalized size 1 1. 0.9 0. 0. 0. 3.43 0.
time (sec) N/A 0.028 0.019 0.535 0. 0. 36.734 0.


















Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A NO TBD TBD TBD TBD TBD
size 19 0 89 0 0 0 0 0
normalized size 1 0. 4.68 0. 0. 0. 0. 0.
time (sec) N/A 0.029 0.054 0.555 0. 0. 0. 0.


















Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 69 266 77 181 87 99
normalized size 1 1. 1.44 5.54 1.6 3.77 1.81 2.06
time (sec) N/A 0.043 0.003 0.203 1.166 1.3 13.618 1.329


















Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 69 266 77 181 87 99
normalized size 1 1. 1.44 5.54 1.6 3.77 1.81 2.06
time (sec) N/A 0.042 0.002 0.317 1.137 1.291 5.294 1.241


















Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 69 265 77 171 87 99
normalized size 1 1. 1.47 5.64 1.64 3.64 1.85 2.11
time (sec) N/A 0.037 0.002 0.202 1.044 1.257 1.853 1.273


















Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 52 52 57 257 66 155 71 81
normalized size 1 1. 1.1 4.94 1.27 2.98 1.37 1.56
time (sec) N/A 0.064 0.002 0.23 1.092 1.339 1.184 1.202


















Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 52 47 57 266 66 153 63 85
normalized size 1 0.9 1.1 5.12 1.27 2.94 1.21 1.63
time (sec) N/A 0.049 0.002 0.123 1.172 1.332 5.249 1.326


















Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 47 69 248 77 153 88 88
normalized size 1 0.82 1.21 4.35 1.35 2.68 1.54 1.54
time (sec) N/A 0.047 0.002 0.098 1.122 1.219 3.378 1.274


















Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 69 266 77 181 87 99
normalized size 1 1. 1.44 5.54 1.6 3.77 1.81 2.06
time (sec) N/A 0.043 0.002 0.187 1.088 1.223 9.312 1.284


















Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 69 266 77 180 87 99
normalized size 1 1. 1.44 5.54 1.6 3.75 1.81 2.06
time (sec) N/A 0.042 0.002 0.187 1.061 1.233 3.424 1.244


















Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 41 55 247 66 154 73 84
normalized size 1 0.85 1.15 5.15 1.38 3.21 1.52 1.75
time (sec) N/A 0.018 0.001 0.187 1.046 1.232 1.145 1.344


















Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 37 49 249 66 124 60 84
normalized size 1 0.84 1.11 5.66 1.5 2.82 1.36 1.91
time (sec) N/A 0.039 0.002 0.214 1.184 1.261 1.227 1.315


















Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 45 63 249 77 149 75 88
normalized size 1 0.85 1.19 4.7 1.45 2.81 1.42 1.66
time (sec) N/A 0.047 0.002 0.103 1.129 1.313 2.007 1.287


















Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 48 69 251 77 167 88 89
normalized size 1 0.84 1.21 4.4 1.35 2.93 1.54 1.56
time (sec) N/A 0.046 0.002 0.112 1.035 1.265 5.519 1.308


















Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 84 434 135 297 151 166
normalized size 1 1. 1.14 5.86 1.82 4.01 2.04 2.24
time (sec) N/A 0.087 0.04 0.195 1.054 1.33 34.115 1.304


















Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 87 434 135 285 151 166
normalized size 1 1. 1.18 5.86 1.82 3.85 2.04 2.24
time (sec) N/A 0.088 0.037 0.198 1.124 1.34 13.834 1.378


















Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 85 433 135 274 151 166
normalized size 1 1. 1.12 5.7 1.78 3.61 1.99 2.18
time (sec) N/A 0.068 0.035 0.204 1.16 1.284 5.683 1.86


















Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 73 82 423 119 259 129 142
normalized size 1 0.82 0.92 4.75 1.34 2.91 1.45 1.6
time (sec) N/A 0.082 0.05 0.215 1.207 1.33 3.573 1.361


















Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 71 83 433 123 244 136 151
normalized size 1 0.78 0.91 4.76 1.35 2.68 1.49 1.66
time (sec) N/A 0.099 0.058 0.237 1.08 1.234 3.547 1.297


















Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 73 82 434 122 254 105 153
normalized size 1 0.81 0.91 4.82 1.36 2.82 1.17 1.7
time (sec) N/A 0.089 0.054 0.134 1.093 1.334 6.643 1.316


















Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 95 434 135 296 158 166
normalized size 1 1. 1.28 5.86 1.82 4. 2.14 2.24
time (sec) N/A 0.072 0.035 0.195 1.11 1.35 25.87 1.291


















Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 95 434 135 294 158 166
normalized size 1 1. 1.28 5.86 1.82 3.97 2.14 2.24
time (sec) N/A 0.071 0.034 0.201 1.223 1.287 8.614 1.3


















Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 68 89 416 124 271 144 151
normalized size 1 0.79 1.03 4.84 1.44 3.15 1.67 1.76
time (sec) N/A 0.035 0.034 0.192 1.059 1.277 3.301 1.314


















Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 66 86 419 127 247 131 157
normalized size 1 0.8 1.04 5.05 1.53 2.98 1.58 1.89
time (sec) N/A 0.071 0.035 0.207 1.138 1.316 4.806 1.281


















Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 65 80 417 124 247 131 157
normalized size 1 0.79 0.98 5.09 1.51 3.01 1.6 1.91
time (sec) N/A 0.073 0.04 0.213 1.075 1.32 4.259 1.512


















Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 72 86 419 135 273 146 157
normalized size 1 0.79 0.95 4.6 1.48 3. 1.6 1.73
time (sec) N/A 0.083 0.039 0.109 1.122 1.177 5.875 1.287


















Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 74 95 419 135 292 160 157
normalized size 1 0.78 1. 4.41 1.42 3.07 1.68 1.65
time (sec) N/A 0.083 0.045 0.109 1.153 1.328 13.308 1.35


















Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 120 602 193 416 230 234
normalized size 1 1. 1.2 6.02 1.93 4.16 2.3 2.34
time (sec) N/A 0.106 0.053 0.209 1.121 1.294 65.003 1.292


















Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 130 130 120 602 193 404 223 234
normalized size 1 1. 0.92 4.63 1.48 3.11 1.72 1.8
time (sec) N/A 0.152 0.052 0.208 1.131 1.355 31.257 1.325


















Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 118 601 193 379 223 234
normalized size 1 1. 1.3 6.6 2.12 4.16 2.45 2.57
time (sec) N/A 0.075 0.051 0.209 1.202 1.408 13.611 1.328


















Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 130 100 116 595 180 378 212 213
normalized size 1 0.77 0.89 4.58 1.38 2.91 1.63 1.64
time (sec) N/A 0.104 0.063 0.222 1.163 1.504 8.985 1.303


















Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 100 115 604 180 356 209 216
normalized size 1 0.76 0.88 4.61 1.37 2.72 1.6 1.65
time (sec) N/A 0.125 0.082 0.242 1.056 1.557 9.22 1.289


















Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 99 115 602 180 356 209 219
normalized size 1 0.76 0.88 4.6 1.37 2.72 1.6 1.67
time (sec) N/A 0.123 0.079 0.256 1.171 1.537 9.154 1.329


















Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 133 602 193 423 223 234
normalized size 1 1. 1.33 6.02 1.93 4.23 2.23 2.34
time (sec) N/A 0.088 0.047 0.207 1.15 1.472 42.59 1.289


















Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 133 602 193 409 230 234
normalized size 1 1. 1.33 6.02 1.93 4.09 2.3 2.34
time (sec) N/A 0.087 0.047 0.213 1.031 1.349 20.549 1.316


















Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 94 124 582 180 378 204 215
normalized size 1 0.78 1.02 4.81 1.49 3.12 1.69 1.78
time (sec) N/A 0.048 0.045 0.201 1.025 1.32 8.741 1.311


















Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 118 92 123 587 182 362 190 224
normalized size 1 0.78 1.04 4.97 1.54 3.07 1.61 1.9
time (sec) N/A 0.082 0.056 0.238 1.008 1.288 9.054 1.312


















Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 91 112 585 185 340 202 224
normalized size 1 0.75 0.93 4.83 1.53 2.81 1.67 1.85
time (sec) N/A 0.091 0.054 0.23 1.026 1.312 9.097 1.273


















Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 118 91 115 585 182 362 190 224
normalized size 1 0.77 0.97 4.96 1.54 3.07 1.61 1.9
time (sec) N/A 0.086 0.054 0.242 1.035 1.342 9.13 1.295


















Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 127 98 127 587 193 389 206 224
normalized size 1 0.77 1. 4.62 1.52 3.06 1.62 1.76
time (sec) N/A 0.101 0.057 0.132 1.013 1.32 13.488 1.278


















Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 133 100 133 587 193 413 231 224
normalized size 1 0.75 1. 4.41 1.45 3.11 1.74 1.68
time (sec) N/A 0.098 0.06 0.127 1.01 1.321 31.76 1.419


















Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 174 641 0 0 235 0
normalized size 1 1. 1.44 5.3 0. 0. 1.94 0.
time (sec) N/A 0.173 0.11 0.188 0. 0. 114.791 0.


















Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 135 460 0 0 180 0
normalized size 1 1. 1.63 5.54 0. 0. 2.17 0.
time (sec) N/A 0.143 0.071 0.174 0. 0. 36.34 0.


















Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 94 299 0 0 119 0
normalized size 1 1. 1.92 6.1 0. 0. 2.43 0.
time (sec) N/A 0.048 0.032 0.133 0. 0. 10.192 0.


















Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 126 439 0 0 124 0
normalized size 1 1. 2.57 8.96 0. 0. 2.53 0.
time (sec) N/A 0.065 0.082 0.212 0. 0. 19.832 0.


















Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 109 157 611 0 0 0 0
normalized size 1 1.31 1.89 7.36 0. 0. 0. 0.
time (sec) N/A 0.176 0.109 0.146 0. 0. 0. 0.


















Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 149 196 805 0 0 0 0
normalized size 1 1.23 1.62 6.65 0. 0. 0. 0.
time (sec) N/A 0.214 0.185 0.168 0. 0. 0. 0.


















Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 167 167 208 693 0 0 0 0
normalized size 1 1. 1.25 4.15 0. 0. 0. 0.
time (sec) N/A 0.207 0.149 0.184 0. 0. 0. 0.


















Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 132 132 170 512 0 0 0 0
normalized size 1 1. 1.29 3.88 0. 0. 0. 0.
time (sec) N/A 0.165 0.11 0.174 0. 0. 0. 0.


















Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 105 105 107 332 0 0 0 0
normalized size 1 1. 1.02 3.16 0. 0. 0. 0.
time (sec) N/A 0.066 0.047 0.22 0. 0. 0. 0.


















Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 134 134 173 531 0 0 0 0
normalized size 1 1. 1.29 3.96 0. 0. 0. 0.
time (sec) N/A 0.175 0.14 0.268 0. 0. 0. 0.


















Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 165 165 211 706 0 0 0 0
normalized size 1 1. 1.28 4.28 0. 0. 0. 0.
time (sec) N/A 0.197 0.183 0.208 0. 0. 0. 0.


















Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 129 129 287 687 0 0 0 0
normalized size 1 1. 2.22 5.33 0. 0. 0. 0.
time (sec) N/A 0.22 0.467 0.19 0. 0. 0. 0.


















Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 321 511 0 0 0 0
normalized size 1 1. 3.38 5.38 0. 0. 0. 0.
time (sec) N/A 0.188 0.233 0.174 0. 0. 0. 0.


















Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 74 179 96 143 366 95
normalized size 1 1. 1.48 3.58 1.92 2.86 7.32 1.9
time (sec) N/A 0.042 0.065 0.096 1.199 1.349 78.715 1.339


















Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 279 644 0 0 0 0
normalized size 1 1. 3.4 7.85 0. 0. 0. 0.
time (sec) N/A 0.14 0.368 0.157 0. 0. 0. 0.


















Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 159 334 817 0 0 0 0
normalized size 1 1.26 2.65 6.48 0. 0. 0. 0.
time (sec) N/A 0.289 0.502 0.161 0. 0. 0. 0.


















Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 191 191 296 913 0 0 0 0
normalized size 1 1. 1.55 4.78 0. 0. 0. 0.
time (sec) N/A 0.297 0.59 0.273 0. 0. 0. 0.


















Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 164 164 258 752 0 0 0 0
normalized size 1 1. 1.57 4.59 0. 0. 0. 0.
time (sec) N/A 0.269 0.527 0.327 0. 0. 0. 0.


















Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 164 164 289 685 0 0 0 0
normalized size 1 1. 1.76 4.18 0. 0. 0. 0.
time (sec) N/A 0.099 0.537 0.301 0. 0. 0. 0.


















Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 183 183 328 933 0 0 0 0
normalized size 1 1. 1.79 5.1 0. 0. 0. 0.
time (sec) N/A 0.284 0.783 0.35 0. 0. 0. 0.


















Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 224 224 361 1133 0 0 0 0
normalized size 1 1. 1.61 5.06 0. 0. 0. 0.
time (sec) N/A 0.309 0.744 0.296 0. 0. 0. 0.


















Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 152 152 498 727 0 0 0 0
normalized size 1 1. 3.28 4.78 0. 0. 0. 0.
time (sec) N/A 0.287 0.527 0.159 0. 0. 0. 0.


















Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C B B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 129 369 173 273 0 189
normalized size 1 1. 1.9 5.43 2.54 4.01 0. 2.78
time (sec) N/A 0.08 0.144 0.117 1.193 1.34 0. 1.332


















Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 111 243 147 259 0 184
normalized size 1 1. 1.35 2.96 1.79 3.16 0. 2.24
time (sec) N/A 0.066 0.069 0.102 1.187 1.398 0. 1.276


















Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 396 841 0 0 0 0
normalized size 1 1. 3.44 7.31 0. 0. 0. 0.
time (sec) N/A 0.218 0.917 0.166 0. 0. 0. 0.


















Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 162 195 507 1030 0 0 0 0
normalized size 1 1.2 3.13 6.36 0. 0. 0. 0.
time (sec) N/A 0.39 1.105 0.181 0. 0. 0. 0.


















Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 211 211 495 1311 0 0 0 0
normalized size 1 1. 2.35 6.21 0. 0. 0. 0.
time (sec) N/A 0.458 1.3 0.336 0. 0. 0. 0.


















Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 187 187 497 1247 0 0 0 0
normalized size 1 1. 2.66 6.67 0. 0. 0. 0.
time (sec) N/A 0.369 1.043 0.326 0. 0. 0. 0.


















Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 210 210 544 1047 0 0 0 0
normalized size 1 1. 2.59 4.99 0. 0. 0. 0.
time (sec) N/A 0.146 0.99 0.306 0. 0. 0. 0.


















Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 219 219 552 1518 0 0 0 0
normalized size 1 1. 2.52 6.93 0. 0. 0. 0.
time (sec) N/A 0.366 1.746 0.258 0. 0. 0. 0.


















Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 260 260 584 1729 0 0 0 0
normalized size 1 1. 2.25 6.65 0. 0. 0. 0.
time (sec) N/A 0.421 1.842 0.316 0. 0. 0. 0.


















Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 12 103 34 78 0
normalized size 1 1. 1. 0.71 6.06 2. 4.59 0.
time (sec) N/A 0.043 0.004 0.039 1.165 1.254 8.71 0.


















Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C B A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 17 52 78 31 102 0
normalized size 1 1. 1.06 3.25 4.88 1.94 6.38 0.
time (sec) N/A 0.043 0.004 0.139 1.132 1.299 6.5 0.


















Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 22 22 31 20 65 0 0 0
normalized size 1 1. 1.41 0.91 2.95 0. 0. 0.
time (sec) N/A 0.022 0.006 0.041 1.171 0. 0. 0.


















Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 65 46 35 0 0 0
normalized size 1 1. 2.03 1.44 1.09 0. 0. 0.
time (sec) N/A 0.036 0.007 0.064 2.144 0. 0. 0.


















Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 68 103 0 0 0 0
normalized size 1 1. 1.1 1.66 0. 0. 0. 0.
time (sec) N/A 0.039 0.03 0.133 0. 0. 0. 0.


















Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 66 66 72 200 0 0 0 0
normalized size 1 1. 1.09 3.03 0. 0. 0. 0.
time (sec) N/A 0.039 0.025 0.145 0. 0. 0. 0.


















Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 509 509 432 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.612 0.776 4.638 0. 0. 0. 0.


















Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 711 711 1073 0 0 0 0 0
normalized size 1 1. 1.51 0. 0. 0. 0. 0.
time (sec) N/A 0.846 2.196 7.904 0. 0. 0. 0.


















Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.033 2.774 0.495 0. 0. 0. 0.


















Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.032 12.013 2.377 0. 0. 0. 0.


















Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 208 208 251 0 0 1006 0 400
normalized size 1 1. 1.21 0. 0. 4.84 0. 1.92
time (sec) N/A 0.25 0.195 0.488 0. 1.756 0. 1.469


















Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 154 154 204 0 0 745 0 298
normalized size 1 1. 1.32 0. 0. 4.84 0. 1.94
time (sec) N/A 0.175 0.148 0.464 0. 1.584 0. 1.78


















Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 136 0 0 505 155 196
normalized size 1 1. 1.33 0. 0. 4.95 1.52 1.92
time (sec) N/A 0.088 0.104 0.468 0. 1.55 20.046 1.402


















Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 220 220 203 0 0 0 0 0
normalized size 1 1. 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.334 0.322 0.408 0. 0. 0. 0.


















Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 252 252 303 0 0 0 0 0
normalized size 1 1. 1.2 0. 0. 0. 0. 0.
time (sec) N/A 0.376 0.487 0.449 0. 0. 0. 0.


















Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 469 469 276 0 0 0 0 0
normalized size 1 1. 0.59 0. 0. 0. 0. 0.
time (sec) N/A 0.598 0.66 0.448 0. 0. 0. 0.


















Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 409 410 250 0 0 0 0 0
normalized size 1 1. 0.61 0. 0. 0. 0. 0.
time (sec) N/A 0.413 0.418 0.482 0. 0. 0. 0.


















Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 330 330 237 0 0 0 0 0
normalized size 1 1. 0.72 0. 0. 0. 0. 0.
time (sec) N/A 0.201 0.354 0.439 0. 0. 0. 0.


















Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 345 345 183 0 0 0 0 0
normalized size 1 1. 0.53 0. 0. 0. 0. 0.
time (sec) N/A 0.394 0.559 0.443 0. 0. 0. 0.


















Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 99 0 0 529 0 0
normalized size 1 1. 0.88 0. 0. 4.72 0. 0.
time (sec) N/A 0.104 0.145 0.475 0. 1.486 0. 0.


















Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 170 170 145 0 0 772 0 0
normalized size 1 1. 0.85 0. 0. 4.54 0. 0.
time (sec) N/A 0.152 0.195 0.507 0. 1.626 0. 0.


















Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 230 230 180 0 0 1044 0 0
normalized size 1 1. 0.78 0. 0. 4.54 0. 0.
time (sec) N/A 0.199 0.232 0.53 0. 1.838 0. 0.


















Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 231 231 256 0 0 1246 0 0
normalized size 1 1. 1.11 0. 0. 5.39 0. 0.
time (sec) N/A 0.277 0.341 0.474 0. 1.961 0. 0.


















Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 177 177 227 0 0 983 0 0
normalized size 1 1. 1.28 0. 0. 5.55 0. 0.
time (sec) N/A 0.205 0.193 0.441 0. 1.696 0. 0.


















Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 125 125 181 0 0 734 0 0
normalized size 1 1. 1.45 0. 0. 5.87 0. 0.
time (sec) N/A 0.106 0.139 0.459 0. 1.583 0. 0.


















Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 260 260 301 0 0 0 0 0
normalized size 1 1. 1.16 0. 0. 0. 0. 0.
time (sec) N/A 0.392 0.768 0.406 0. 0. 0. 0.


















Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 295 295 349 0 0 0 0 0
normalized size 1 1. 1.18 0. 0. 0. 0. 0.
time (sec) N/A 0.442 0.97 0.401 0. 0. 0. 0.


















Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 464 464 331 0 0 0 0 0
normalized size 1 1. 0.71 0. 0. 0. 0. 0.
time (sec) N/A 0.593 1.042 0.414 0. 0. 0. 0.


















Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 378 378 314 0 0 0 0 0
normalized size 1 1. 0.83 0. 0. 0. 0. 0.
time (sec) N/A 0.269 0.899 0.478 0. 0. 0. 0.


















Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 400 400 329 0 0 0 0 0
normalized size 1 1. 0.82 0. 0. 0. 0. 0.
time (sec) N/A 0.481 0.991 0.434 0. 0. 0. 0.


















Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 400 400 269 0 0 0 0 0
normalized size 1 1. 0.67 0. 0. 0. 0. 0.
time (sec) N/A 0.444 0.757 0.423 0. 0. 0. 0.


















Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 138 138 114 0 0 761 0 0
normalized size 1 1. 0.83 0. 0. 5.51 0. 0.
time (sec) N/A 0.122 0.182 0.48 0. 1.569 0. 0.


















Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 196 196 145 0 0 1013 0 0
normalized size 1 1. 0.74 0. 0. 5.17 0. 0.
time (sec) N/A 0.172 0.222 0.499 0. 1.842 0. 0.


















Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 256 256 178 0 0 1287 0 0
normalized size 1 1. 0.7 0. 0. 5.03 0. 0.
time (sec) N/A 0.221 0.268 0.51 0. 2.185 0. 0.


















Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 53 75 53 162 65 73
normalized size 1 1. 0.88 1.25 0.88 2.7 1.08 1.22
time (sec) N/A 0.045 0.044 0.306 1.73 1.339 24.848 1.295


















Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 182 182 204 0 0 764 0 0
normalized size 1 1. 1.12 0. 0. 4.2 0. 0.
time (sec) N/A 0.228 0.191 0.434 0. 1.578 0. 0.


















Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 129 129 145 0 0 516 0 0
normalized size 1 1. 1.12 0. 0. 4. 0. 0.
time (sec) N/A 0.164 0.155 0.419 0. 1.529 0. 0.


















Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 91 0 0 317 126 0
normalized size 1 1. 1.25 0. 0. 4.34 1.73 0.
time (sec) N/A 0.078 0.085 0.422 0. 1.333 4.708 0.


















Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 166 166 162 0 0 0 0 0
normalized size 1 1. 0.98 0. 0. 0. 0. 0.
time (sec) N/A 0.262 0.198 0.411 0. 0. 0. 0.


















Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 258 258 229 0 0 0 0 0
normalized size 1 1. 0.89 0. 0. 0. 0. 0.
time (sec) N/A 0.373 1.065 0.413 0. 0. 0. 0.


















Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 359 359 205 0 0 0 0 0
normalized size 1 1. 0.57 0. 0. 0. 0. 0.
time (sec) N/A 0.41 0.784 0.406 0. 0. 0. 0.


















Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 250 250 186 0 0 0 0 0
normalized size 1 1. 0.74 0. 0. 0. 0. 0.
time (sec) N/A 0.139 0.543 0.402 0. 0. 0. 0.


















Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 77 0 0 331 0 0
normalized size 1 1. 0.95 0. 0. 4.09 0. 0.
time (sec) N/A 0.091 0.103 0.423 0. 1.441 0. 0.


















Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 144 144 110 0 0 540 0 0
normalized size 1 1. 0.76 0. 0. 3.75 0. 0.
time (sec) N/A 0.133 0.142 0.434 0. 1.506 0. 0.


















Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 204 204 147 0 0 794 0 0
normalized size 1 1. 0.72 0. 0. 3.89 0. 0.
time (sec) N/A 0.177 0.224 0.444 0. 1.623 0. 0.


















Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 209 209 195 0 0 1062 0 0
normalized size 1 1. 0.93 0. 0. 5.08 0. 0.
time (sec) N/A 0.296 0.209 0.424 0. 1.807 0. 0.


















Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 158 158 160 0 0 818 0 0
normalized size 1 1. 1.01 0. 0. 5.18 0. 0.
time (sec) N/A 0.218 0.178 0.408 0. 1.608 0. 0.


















Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 118 0 0 560 163 0
normalized size 1 1. 1.18 0. 0. 5.6 1.63 0.
time (sec) N/A 0.16 0.143 0.407 0. 1.444 49.915 0.


















Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 77 0 0 408 80 0
normalized size 1 1. 1.35 0. 0. 7.16 1.4 0.
time (sec) N/A 0.078 0.139 0.437 0. 1.487 10.96 0.


















Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 209 209 241 0 0 0 0 0
normalized size 1 1. 1.15 0. 0. 0. 0. 0.
time (sec) N/A 0.334 0.378 0.404 0. 0. 0. 0.


















Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 287 286 218 0 0 0 0 0
normalized size 1 1. 0.76 0. 0. 0. 0. 0.
time (sec) N/A 0.386 0.312 0.412 0. 0. 0. 0.


















Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 328 328 217 0 0 0 0 0
normalized size 1 1. 0.66 0. 0. 0. 0. 0.
time (sec) N/A 0.474 0.483 0.405 0. 0. 0. 0.


















Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 70 0 0 421 0 0
normalized size 1 1. 1.21 0. 0. 7.26 0. 0.
time (sec) N/A 0.034 0.093 0.395 0. 1.461 0. 0.


















Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 103 0 0 568 0 0
normalized size 1 1. 0.94 0. 0. 5.16 0. 0.
time (sec) N/A 0.13 0.125 0.406 0. 1.563 0. 0.


















Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 176 176 144 0 0 840 0 0
normalized size 1 1. 0.82 0. 0. 4.77 0. 0.
time (sec) N/A 0.166 0.158 0.418 0. 1.658 0. 0.


















Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 236 236 180 0 0 1084 0 0
normalized size 1 1. 0.76 0. 0. 4.59 0. 0.
time (sec) N/A 0.27 0.19 0.407 0. 1.84 0. 0.


















Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 212 212 240 0 0 1134 0 0
normalized size 1 1. 1.13 0. 0. 5.35 0. 0.
time (sec) N/A 0.324 0.249 0.406 0. 1.959 0. 0.


















Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 155 155 205 0 0 900 0 0
normalized size 1 1. 1.32 0. 0. 5.81 0. 0.
time (sec) N/A 0.235 0.207 0.41 0. 1.743 0. 0.


















Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 108 108 137 0 0 737 333 0
normalized size 1 1. 1.27 0. 0. 6.82 3.08 0.
time (sec) N/A 0.161 0.268 0.402 0. 1.661 80.428 0.


















Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A B F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 97 0 0 597 245 0
normalized size 1 1. 1.15 0. 0. 7.11 2.92 0.
time (sec) N/A 0.088 0.231 0.436 0. 1.541 54.255 0.


















Problem 301 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 251 251 273 0 0 0 0 0
normalized size 1 1. 1.09 0. 0. 0. 0. 0.
time (sec) N/A 0.404 0.448 0.413 0. 0. 0. 0.


















Problem 302 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 337 341 227 0 0 0 0 0
normalized size 1 1.01 0.67 0. 0. 0. 0. 0.
time (sec) N/A 0.488 0.309 0.411 0. 0. 0. 0.


















Problem 303 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 443 443 199 0 0 0 0 0
normalized size 1 1. 0.45 0. 0. 0. 0. 0.
time (sec) N/A 0.539 0.288 0.408 0. 0. 0. 0.


















Problem 304 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 383 383 244 0 0 0 0 0
normalized size 1 1. 0.64 0. 0. 0. 0. 0.
time (sec) N/A 0.557 0.862 0.406 0. 0. 0. 0.


















Problem 305 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 101 0 0 626 0 0
normalized size 1 1. 1.13 0. 0. 7.03 0. 0.
time (sec) N/A 0.109 0.145 0.411 0. 1.474 0. 0.


















Problem 306 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 116 0 0 756 0 0
normalized size 1 1. 1.03 0. 0. 6.69 0. 0.
time (sec) N/A 0.069 0.133 0.407 0. 1.525 0. 0.


















Problem 307 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 166 166 144 0 0 914 0 0
normalized size 1 1. 0.87 0. 0. 5.51 0. 0.
time (sec) N/A 0.169 0.183 0.412 0. 1.788 0. 0.


















Problem 308 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 230 230 182 0 0 1156 0 0
normalized size 1 1. 0.79 0. 0. 5.03 0. 0.
time (sec) N/A 0.259 0.217 0.416 0. 2.007 0. 0.


















Problem 309 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 251 251 163 0 269 286 0 0
normalized size 1 1. 0.65 0. 1.07 1.14 0. 0.
time (sec) N/A 0.52 0.391 0.707 1.895 1.444 0. 0.


















Problem 310 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 148 148 113 0 0 162 0 0
normalized size 1 1. 0.76 0. 0. 1.09 0. 0.
time (sec) N/A 0.296 0.177 0.648 0. 1.64 0. 0.


















Problem 311 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 301 301 310 0 0 0 0 0
normalized size 1 1. 1.03 0. 0. 0. 0. 0.
time (sec) N/A 0.605 1.758 0.628 0. 0. 0. 0.


















Problem 312 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 489 489 255 0 0 0 0 0
normalized size 1 1. 0.52 0. 0. 0. 0. 0.
time (sec) N/A 0.724 0.859 0.659 0. 0. 0. 0.


















Problem 313 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 406 406 316 0 0 0 0 0
normalized size 1 1. 0.78 0. 0. 0. 0. 0.
time (sec) N/A 0.612 2.72 0.643 0. 0. 0. 0.


















Problem 314 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 248 248 217 0 0 0 0 0
normalized size 1 1. 0.88 0. 0. 0. 0. 0.
time (sec) N/A 0.216 0.528 0.633 0. 0. 0. 0.


















Problem 315 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 142 70 0 0 182 0 0
normalized size 1 1. 0.49 0. 0. 1.28 0. 0.
time (sec) N/A 0.4 0.214 0.657 0. 1.433 0. 0.


















Problem 316 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 252 252 116 0 0 311 0 0
normalized size 1 1. 0.46 0. 0. 1.23 0. 0.
time (sec) N/A 0.475 0.295 0.67 0. 1.517 0. 0.


















Problem 317 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 27 119 36 80 29 38
normalized size 1 1. 0.79 3.5 1.06 2.35 0.85 1.12
time (sec) N/A 0.04 0.022 0.264 1.813 1.335 3.355 1.278


















Problem 318 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 211 211 156 5139 0 3047 0 747
normalized size 1 1. 0.74 24.36 0. 14.44 0. 3.54
time (sec) N/A 1.684 0.228 0.423 0. 1.449 0. 1.332


















Problem 319 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 153 112 2790 0 1519 0 535
normalized size 1 1. 0.73 18.24 0. 9.93 0. 3.5
time (sec) N/A 0.18 0.134 0.289 0. 1.378 0. 1.431


















Problem 320 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 68 1180 0 562 0 323
normalized size 1 1. 0.72 12.42 0. 5.92 0. 3.4
time (sec) N/A 0.085 0.072 0.175 0. 1.365 0. 1.347


















Problem 321 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 32 371 0 142 0 128
normalized size 1 1. 0.7 8.07 0. 3.09 0. 2.78
time (sec) N/A 0.017 0.013 0.076 0. 1.236 0. 1.34


















Problem 322 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A NO TBD TBD TBD TBD TBD
size 27 0 108 0 0 0 0 0
normalized size 1 0. 4. 0. 0. 0. 0. 0.
time (sec) N/A 0.067 0.199 0.625 0. 0. 0. 0.


















Problem 323 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A NO TBD TBD TBD TBD TBD
size 27 0 108 0 0 0 0 0
normalized size 1 0. 4. 0. 0. 0. 0. 0.
time (sec) N/A 0.064 0.121 0.705 0. 0. 0. 0.


















Problem 324 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 1198 1198 2215 0 0 0 0 0
normalized size 1 1. 1.85 0. 0. 0. 0. 0.
time (sec) N/A 1.435 7.707 4.75 0. 0. 0. 0.


















Problem 325 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 860 860 1379 0 0 0 0 0
normalized size 1 1. 1.6 0. 0. 0. 0. 0.
time (sec) N/A 0.771 6.152 4.986 0. 0. 0. 0.


















Problem 326 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 520 520 571 1388 0 0 0 0
normalized size 1 1. 1.1 2.67 0. 0. 0. 0.
time (sec) N/A 0.457 2.149 0.352 0. 0. 0. 0.


















Problem 327 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.032 5.566 0.59 0. 0. 0. 0.


















Problem 328 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.03 25.577 2.035 0. 0. 0. 0.


















Problem 329 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 185 185 171 867 0 0 298 0
normalized size 1 1. 0.92 4.69 0. 0. 1.61 0.
time (sec) N/A 0.2 0.102 0.183 0. 0. 135.23 0.


















Problem 330 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 148 148 142 693 0 0 248 0
normalized size 1 1. 0.96 4.68 0. 0. 1.68 0.
time (sec) N/A 0.168 0.069 0.174 0. 0. 109.785 0.


















Problem 331 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 105 521 0 0 199 0
normalized size 1 1. 0.98 4.87 0. 0. 1.86 0.
time (sec) N/A 0.12 0.048 0.169 0. 0. 87.386 0.


















Problem 332 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 66 343 0 0 144 0
normalized size 1 1. 0.96 4.97 0. 0. 2.09 0.
time (sec) N/A 0.078 0.032 0.193 0. 0. 59.724 0.


















Problem 333 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 37 195 0 0 0 0
normalized size 1 1. 0.95 5. 0. 0. 0. 0.
time (sec) N/A 0.075 0.007 0.135 0. 0. 0. 0.


















Problem 334 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 63 336 0 0 156 0
normalized size 1 1. 1.43 7.64 0. 0. 3.55 0.
time (sec) N/A 0.066 0.035 0.134 0. 0. 11.296 0.


















Problem 335 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 88 504 0 0 197 0
normalized size 1 1. 0.93 5.31 0. 0. 2.07 0.
time (sec) N/A 0.147 0.089 0.146 0. 0. 53.995 0.


















Problem 336 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 124 689 0 0 246 0
normalized size 1 1. 0.92 5.1 0. 0. 1.82 0.
time (sec) N/A 0.177 0.201 0.151 0. 0. 72.153 0.


















Problem 337 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 170 170 156 209 284 0 280 0
normalized size 1 1. 0.92 1.23 1.67 0. 1.65 0.
time (sec) N/A 0.181 0.081 0.08 1.404 0. 130.083 0.


















Problem 338 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 136 136 125 171 221 0 235 0
normalized size 1 1. 0.92 1.26 1.62 0. 1.73 0.
time (sec) N/A 0.152 0.066 0.043 1.605 0. 108.016 0.


















Problem 339 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 99 129 151 0 189 0
normalized size 1 1. 1.01 1.32 1.54 0. 1.93 0.
time (sec) N/A 0.11 0.044 0.044 1.553 0. 86.693 0.


















Problem 340 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 64 91 93 0 138 0
normalized size 1 1. 1.02 1.44 1.48 0. 2.19 0.
time (sec) N/A 0.07 0.028 0.046 1.355 0. 57.93 0.


















Problem 341 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 34 62 58 0 0 0
normalized size 1 1. 0.94 1.72 1.61 0. 0. 0.
time (sec) N/A 0.071 0.007 0.043 1.351 0. 0. 0.


















Problem 342 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 54 86 90 0 153 0
normalized size 1 1. 1.32 2.1 2.2 0. 3.73 0.
time (sec) N/A 0.062 0.024 0.05 1.3 0. 10.539 0.


















Problem 343 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 77 120 130 0 187 0
normalized size 1 1. 0.92 1.43 1.55 0. 2.23 0.
time (sec) N/A 0.131 0.088 0.076 1.366 0. 52.314 0.


















Problem 344 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 110 163 204 0 233 0
normalized size 1 1. 0.91 1.35 1.69 0. 1.93 0.
time (sec) N/A 0.156 0.151 0.055 1.389 0. 68.683 0.


















Problem 345 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B B F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 14 70 100 0 0
normalized size 1 1. 1. 0.82 4.12 5.88 0. 0.
time (sec) N/A 0.065 0.011 0.041 1.844 1.299 0. 0.


















Problem 346 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B B F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 17 13 61 112 0 0
normalized size 1 1. 1.06 0.81 3.81 7. 0. 0.
time (sec) N/A 0.063 0.009 0.043 1.75 1.284 0. 0.


















Problem 347 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B B F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 21 19 86 124 0 0
normalized size 1 1. 1.05 0.95 4.3 6.2 0. 0.
time (sec) N/A 0.069 0.01 0.042 1.822 1.261 0. 0.


















Problem 348 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 16 11 97 26 71 0
normalized size 1 1. 1.14 0.79 6.93 1.86 5.07 0.
time (sec) N/A 0.077 0.004 0.04 1.165 1.254 7.585 0.


















Problem 349 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 21 12 109 34 78 0
normalized size 1 1. 1.24 0.71 6.41 2. 4.59 0.
time (sec) N/A 0.087 0.004 0.044 1.143 1.271 10.516 0.


















Problem 350 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 23 0 0 236 0 0
normalized size 1 1. 0.88 0. 0. 9.08 0. 0.
time (sec) N/A 0.09 0.01 0.823 0. 1.288 0. 0.


















Problem 351 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 171 171 140 806 0 479 0 452
normalized size 1 1. 0.82 4.71 0. 2.8 0. 2.64
time (sec) N/A 0.215 0.156 0.242 0. 1.383 0. 1.478


















Problem 352 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 142 101 616 0 342 0 325
normalized size 1 1. 0.71 4.34 0. 2.41 0. 2.29
time (sec) N/A 0.195 0.112 0.184 0. 1.32 0. 1.463


















Problem 353 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 113 61 426 0 201 0 203
normalized size 1 1.26 0.68 4.73 0. 2.23 0. 2.26
time (sec) N/A 0.117 0.064 0.165 0. 1.33 0. 1.338


















Problem 354 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) A F(-2) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 29 281 0 120 0 86
normalized size 1 1. 0.76 7.39 0. 3.16 0. 2.26
time (sec) N/A 0.017 0.009 0.102 0. 1.272 0. 1.312


















Problem 355 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 77 77 141 0 0 190 0 0
normalized size 1 1. 1.83 0. 0. 2.47 0. 0.
time (sec) N/A 0.191 0.142 0.98 0. 1.345 0. 0.


















Problem 356 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 89 0 131 205 0 278
normalized size 1 1. 1.29 0. 1.9 2.97 0. 4.03
time (sec) N/A 0.107 0.121 1.158 1.198 1.361 0. 1.367


















Problem 357 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 150 150 137 0 205 382 0 848
normalized size 1 1. 0.91 0. 1.37 2.55 0. 5.65
time (sec) N/A 0.215 0.147 1.147 1.232 1.62 0. 1.313


















Problem 358 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 188 188 178 0 284 559 0 1458
normalized size 1 1. 0.95 0. 1.51 2.97 0. 7.76
time (sec) N/A 0.234 0.154 0.951 1.229 1.63 0. 1.425


















Problem 359 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 372 294 285 4156 0 1318 0 1330
normalized size 1 0.79 0.77 11.17 0. 3.54 0. 3.58
time (sec) N/A 0.481 0.253 0.493 0. 1.639 0. 1.538


















Problem 360 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 298 245 207 3038 0 944 0 965
normalized size 1 0.82 0.69 10.19 0. 3.17 0. 3.24
time (sec) N/A 0.44 0.201 0.387 0. 1.674 0. 1.605


















Problem 361 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 226 195 125 1920 0 566 0 601
normalized size 1 0.86 0.55 8.5 0. 2.5 0. 2.66
time (sec) N/A 0.303 0.131 0.291 0. 1.458 0. 1.424


















Problem 362 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 67 1008 0 294 0 267
normalized size 1 1. 0.97 14.61 0. 4.26 0. 3.87
time (sec) N/A 0.05 0.022 0.148 0. 1.366 0. 1.403


















Problem 363 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 129 129 502 0 0 419 0 0
normalized size 1 1. 3.89 0. 0. 3.25 0. 0.
time (sec) N/A 0.301 0.25 1.033 0. 1.39 0. 0.


















Problem 364 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 138 138 157 0 0 618 0 0
normalized size 1 1. 1.14 0. 0. 4.48 0. 0.
time (sec) N/A 0.34 0.445 0.911 0. 1.356 0. 0.


















Problem 365 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 214 214 207 0 0 1204 0 0
normalized size 1 1. 0.97 0. 0. 5.63 0. 0.
time (sec) N/A 0.512 0.359 0.922 0. 1.387 0. 0.


















Problem 366 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 346 346 240 0 0 1823 0 0
normalized size 1 1. 0.69 0. 0. 5.27 0. 0.
time (sec) N/A 0.714 0.537 0.921 0. 1.466 0. 0.


















Problem 367 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 73 613 0 396 0 185
normalized size 1 1. 1.24 10.39 0. 6.71 0. 3.14
time (sec) N/A 0.079 0.099 0.24 0. 1.324 0. 1.313


















Problem 368 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 73 613 0 389 525 185
normalized size 1 1. 1.24 10.39 0. 6.59 8.9 3.14
time (sec) N/A 0.08 0.09 0.237 0. 1.292 43.382 1.278


















Problem 369 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 73 613 0 379 525 185
normalized size 1 1. 1.24 10.39 0. 6.42 8.9 3.14
time (sec) N/A 0.063 0.09 0.234 0. 1.346 7.417 1.32


















Problem 370 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) A F(-2) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 54 278 0 167 0 93
normalized size 1 1. 1.02 5.25 0. 3.15 0. 1.75
time (sec) N/A 0.088 0.088 0.175 0. 1.33 0. 1.302


















Problem 371 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 63 72 613 0 351 0 535
normalized size 1 0.89 1.01 8.63 0. 4.94 0. 7.54
time (sec) N/A 0.074 0.109 0.158 0. 1.41 0. 1.372


















Problem 372 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 63 72 613 0 360 0 536
normalized size 1 0.89 1.01 8.63 0. 5.07 0. 7.55
time (sec) N/A 0.074 0.112 0.164 0. 1.334 0. 1.33


















Problem 373 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 73 614 0 396 525 185
normalized size 1 1. 1.24 10.41 0. 6.71 8.9 3.14
time (sec) N/A 0.08 0.089 0.233 0. 1.363 97.225 1.31


















Problem 374 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 73 614 0 381 525 185
normalized size 1 1. 1.24 10.41 0. 6.46 8.9 3.14
time (sec) N/A 0.08 0.088 0.237 0. 1.322 19.19 1.316


















Problem 375 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 49 53 606 0 325 423 155
normalized size 1 0.86 0.93 10.63 0. 5.7 7.42 2.72
time (sec) N/A 0.034 0.122 0.236 0. 1.373 2.879 1.312


















Problem 376 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 58 67 614 0 311 0 261
normalized size 1 0.87 1. 9.16 0. 4.64 0. 3.9
time (sec) N/A 0.077 0.103 0.152 0. 1.284 0. 1.324


















Problem 377 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 63 72 614 0 352 0 536
normalized size 1 0.89 1.01 8.65 0. 4.96 0. 7.55
time (sec) N/A 0.073 0.113 0.159 0. 1.408 0. 1.255


















Problem 378 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 63 72 614 0 367 0 536
normalized size 1 0.89 1.01 8.65 0. 5.17 0. 7.55
time (sec) N/A 0.072 0.094 0.167 0. 1.34 0. 1.272


















Problem 379 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 118 1924 0 1168 0 1004
normalized size 1 1. 1.15 18.68 0. 11.34 0. 9.75
time (sec) N/A 0.156 0.285 0.299 0. 1.327 0. 1.307


















Problem 380 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 118 1924 0 1135 2162 1004
normalized size 1 1. 1.15 18.68 0. 11.02 20.99 9.75
time (sec) N/A 0.154 0.241 0.293 0. 1.378 138.113 1.319


















Problem 381 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 116 1922 0 1096 2159 1004
normalized size 1 1. 1.14 18.84 0. 10.75 21.17 9.84
time (sec) N/A 0.132 0.235 0.296 0. 1.41 21.608 1.321


















Problem 382 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) A F(-2) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 87 90 487 0 286 0 189
normalized size 1 0.84 0.87 4.68 0. 2.75 0. 1.82
time (sec) N/A 0.134 0.209 0.139 0. 1.377 0. 1.316


















Problem 383 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 114 120 1923 0 1049 0 0
normalized size 1 0.84 0.89 14.24 0. 7.77 0. 0.
time (sec) N/A 0.163 0.304 0.24 0. 1.436 0. 0.


















Problem 384 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 115 121 1924 0 1088 0 0
normalized size 1 0.85 0.9 14.25 0. 8.06 0. 0.
time (sec) N/A 0.164 0.303 0.234 0. 1.409 0. 0.


















Problem 385 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 105 105 124 1930 0 1202 0 1007
normalized size 1 1. 1.18 18.38 0. 11.45 0. 9.59
time (sec) N/A 0.16 0.255 0.294 0. 1.383 0. 1.373


















Problem 386 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 105 105 124 1930 0 1172 0 1007
normalized size 1 1. 1.18 18.38 0. 11.16 0. 9.59
time (sec) N/A 0.16 0.255 0.293 0. 1.375 0. 1.25


















Problem 387 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 95 107 1921 0 1041 211 329
normalized size 1 0.84 0.95 17. 0. 9.21 1.87 2.91
time (sec) N/A 0.076 0.159 0.288 0. 1.349 13.463 1.322


















Problem 388 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 104 121 1927 0 1015 204 0
normalized size 1 0.85 0.98 15.67 0. 8.25 1.66 0.
time (sec) N/A 0.167 0.288 0.23 0. 1.369 32.102 0.


















Problem 389 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 127 109 127 1930 0 1125 235 0
normalized size 1 0.86 1. 15.2 0. 8.86 1.85 0.
time (sec) N/A 0.173 0.3 0.244 0. 1.398 173.603 0.


















Problem 390 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 127 109 127 1930 0 1154 0 0
normalized size 1 0.86 1. 15.2 0. 9.09 0. 0.
time (sec) N/A 0.173 0.299 0.237 0. 1.436 0. 0.


















Problem 391 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 127 109 127 1930 0 1166 0 0
normalized size 1 0.86 1. 15.2 0. 9.18 0. 0.
time (sec) N/A 0.177 0.291 0.242 0. 1.444 0. 0.


















Problem 392 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 147 147 172 4021 0 2402 0 2141
normalized size 1 1. 1.17 27.35 0. 16.34 0. 14.56
time (sec) N/A 0.381 0.377 0.398 0. 1.398 0. 1.627


















Problem 393 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 149 178 4027 0 2461 0 2144
normalized size 1 1. 1.19 27.03 0. 16.52 0. 14.39
time (sec) N/A 0.385 0.343 0.389 0. 1.432 0. 1.396


















Problem 394 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 149 178 4027 0 2353 0 2144
normalized size 1 1. 1.19 27.03 0. 15.79 0. 14.39
time (sec) N/A 0.348 0.354 0.381 0. 1.452 0. 1.362


















Problem 395 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) A F(-2) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 152 124 132 693 0 419 0 284
normalized size 1 0.82 0.87 4.56 0. 2.76 0. 1.87
time (sec) N/A 0.171 0.354 0.16 0. 1.397 0. 1.353


















Problem 396 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 191 161 181 4027 0 2287 0 0
normalized size 1 0.84 0.95 21.08 0. 11.97 0. 0.
time (sec) N/A 0.408 0.392 0.339 0. 1.496 0. 0.


















Problem 397 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 191 161 181 4027 0 2395 0 0
normalized size 1 0.84 0.95 21.08 0. 12.54 0. 0.
time (sec) N/A 0.397 0.39 0.347 0. 1.525 0. 0.


















Problem 398 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 151 151 184 4031 0 2560 0 2144
normalized size 1 1. 1.22 26.7 0. 16.95 0. 14.2
time (sec) N/A 0.381 0.353 0.403 0. 1.486 0. 1.343


















Problem 399 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 148 148 176 4027 0 2376 0 2144
normalized size 1 1. 1.19 27.21 0. 16.05 0. 14.49
time (sec) N/A 0.381 0.343 0.395 0. 1.481 0. 1.316


















Problem 400 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 141 159 4023 0 2237 325 505
normalized size 1 0.83 0.94 23.8 0. 13.24 1.92 2.99
time (sec) N/A 0.103 0.222 0.386 0. 1.429 26.858 1.335


















Problem 401 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 179 150 181 4031 0 2201 314 0
normalized size 1 0.84 1.01 22.52 0. 12.3 1.75 0.
time (sec) N/A 0.397 0.393 0.35 0. 1.41 94.674 0.


















Problem 402 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 191 160 180 4027 0 2310 0 0
normalized size 1 0.84 0.94 21.08 0. 12.09 0. 0.
time (sec) N/A 0.393 0.376 0.352 0. 1.472 0. 0.


















Problem 403 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 183 155 187 4031 0 2493 0 0
normalized size 1 0.85 1.02 22.03 0. 13.62 0. 0.
time (sec) N/A 0.412 0.4 0.363 0. 1.493 0. 0.


















Problem 404 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 183 155 188 4031 0 2554 0 0
normalized size 1 0.85 1.03 22.03 0. 13.96 0. 0.
time (sec) N/A 0.413 0.391 0.358 0. 1.477 0. 0.


















Problem 405 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 191 161 182 4027 0 2476 0 0
normalized size 1 0.84 0.95 21.08 0. 12.96 0. 0.
time (sec) N/A 0.419 0.389 0.372 0. 1.451 0. 0.


















Problem 406 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A NO TBD TBD TBD TBD TBD
size 25 0 87 0 0 0 0 0
normalized size 1 0. 3.48 0. 0. 0. 0. 0.
time (sec) N/A 0.064 0.117 0.75 0. 0. 0. 0.


















Problem 407 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A NO TBD TBD TBD TBD TBD
size 23 0 87 0 0 0 0 0
normalized size 1 0. 3.78 0. 0. 0. 0. 0.
time (sec) N/A 0.041 0.1 0.659 0. 0. 0. 0.


















Problem 408 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 54 54 108 451 0 235 0 0
normalized size 1 1. 2. 8.35 0. 4.35 0. 0.
time (sec) N/A 0.078 0.114 0.194 0. 1.325 0. 0.


















Problem 409 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A NO TBD TBD TBD TBD TBD
size 25 0 86 0 0 0 0 0
normalized size 1 0. 3.44 0. 0. 0. 0. 0.
time (sec) N/A 0.064 0.105 0.706 0. 0. 0. 0.


















Problem 410 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A NO TBD TBD TBD TBD TBD
size 25 0 87 0 0 0 0 0
normalized size 1 0. 3.48 0. 0. 0. 0. 0.
time (sec) N/A 0.065 0.107 0.681 0. 0. 0. 0.


















Problem 411 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A NO TBD TBD TBD TBD TBD
size 22 0 69 0 0 0 0 0
normalized size 1 0. 3.14 0. 0. 0. 0. 0.
time (sec) N/A 0.018 0.079 0.642 0. 0. 0. 0.


















Problem 412 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A NO TBD TBD TBD TBD TBD
size 25 0 83 0 0 0 0 0
normalized size 1 0. 3.32 0. 0. 0. 0. 0.
time (sec) N/A 0.066 0.097 0.687 0. 0. 0. 0.


















Problem 413 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A NO TBD TBD TBD TBD TBD
size 25 0 140 0 0 0 0 0
normalized size 1 0. 5.6 0. 0. 0. 0. 0.
time (sec) N/A 0.064 0.244 0.641 0. 0. 0. 0.


















Problem 414 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A NO TBD TBD TBD TBD TBD
size 23 0 140 0 0 0 0 0
normalized size 1 0. 6.09 0. 0. 0. 0. 0.
time (sec) N/A 0.04 0.234 0.709 0. 0. 0. 0.


















Problem 415 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 102 102 132 715 0 527 0 0
normalized size 1 1. 1.29 7.01 0. 5.17 0. 0.
time (sec) N/A 0.233 0.337 0.234 0. 1.32 0. 0.


















Problem 416 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A NO TBD TBD TBD TBD TBD
size 25 0 139 0 0 0 0 0
normalized size 1 0. 5.56 0. 0. 0. 0. 0.
time (sec) N/A 0.063 0.235 0.642 0. 0. 0. 0.


















Problem 417 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A NO TBD TBD TBD TBD TBD
size 25 0 140 0 0 0 0 0
normalized size 1 0. 5.6 0. 0. 0. 0. 0.
time (sec) N/A 0.063 0.239 0.744 0. 0. 0. 0.


















Problem 418 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A NO TBD TBD TBD TBD TBD
size 22 0 161 0 0 0 0 0
normalized size 1 0. 7.32 0. 0. 0. 0. 0.
time (sec) N/A 0.017 2.469 0.662 0. 0. 0. 0.


















Problem 419 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A NO TBD TBD TBD TBD TBD
size 25 0 135 0 0 0 0 0
normalized size 1 0. 5.4 0. 0. 0. 0. 0.
time (sec) N/A 0.062 0.201 0.75 0. 0. 0. 0.


















Problem 420 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 37 33 0 115 0 0
normalized size 1 1. 1. 0.89 0. 3.11 0. 0.
time (sec) N/A 0.144 0.018 0.043 0. 1.309 0. 0.


















Problem 421 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) A F(-2) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 152 124 132 693 0 419 0 284
normalized size 1 0.82 0.87 4.56 0. 2.76 0. 1.87
time (sec) N/A 0.154 0.356 0.077 0. 1.392 0. 1.333


















Problem 422 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) A F(-2) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 87 90 487 0 286 0 189
normalized size 1 0.84 0.87 4.68 0. 2.75 0. 1.82
time (sec) N/A 0.127 0.208 0.069 0. 1.327 0. 1.344


















Problem 423 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) A F(-2) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 54 278 0 167 0 93
normalized size 1 1. 1.02 5.25 0. 3.15 0. 1.75
time (sec) N/A 0.085 0.084 0.066 0. 1.353 0. 1.141


















Problem 424 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 54 54 108 451 0 235 0 0
normalized size 1 1. 2. 8.35 0. 4.35 0. 0.
time (sec) N/A 0.075 0.103 0.059 0. 1.264 0. 0.


















Problem 425 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 102 102 132 715 0 527 0 0
normalized size 1 1. 1.29 7.01 0. 5.17 0. 0.
time (sec) N/A 0.229 0.313 0.066 0. 1.386 0. 0.


















Problem 426 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 169 169 170 1012 0 959 0 0
normalized size 1 1. 1.01 5.99 0. 5.67 0. 0.
time (sec) N/A 0.409 0.235 0.25 0. 1.607 0. 0.


















Problem 427 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 245 245 262 3984 0 1172 0 856
normalized size 1 1. 1.07 16.26 0. 4.78 0. 3.49
time (sec) N/A 0.303 0.434 0.378 0. 1.65 0. 1.331


















Problem 428 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 161 161 179 2844 0 806 0 568
normalized size 1 1. 1.11 17.66 0. 5.01 0. 3.53
time (sec) N/A 0.237 0.268 0.326 0. 1.646 0. 1.291


















Problem 429 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 109 1712 0 454 0 296
normalized size 1 1. 1.36 21.4 0. 5.68 0. 3.7
time (sec) N/A 0.139 0.143 0.279 0. 1.607 0. 1.327


















Problem 430 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C F C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 94 94 270 3012 0 544 0 0
normalized size 1 1. 2.87 32.04 0. 5.79 0. 0.
time (sec) N/A 0.135 0.294 0.236 0. 1.57 0. 0.


















Problem 431 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 182 182 397 0 0 1382 0 0
normalized size 1 1. 2.18 0. 0. 7.59 0. 0.
time (sec) N/A 0.427 0.462 0.851 0. 1.458 0. 0.


















Problem 432 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 267 267 459 0 0 2619 0 0
normalized size 1 1. 1.72 0. 0. 9.81 0. 0.
time (sec) N/A 0.892 0.592 0.714 0. 1.441 0. 0.


















Problem 433 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F(-2) F(-2) F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 327 327 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.48 0.538 0.769 0. 0. 0. 0.


















Problem 434 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F(-2) F(-2) F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 284 284 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.391 0.433 0.636 0. 0. 0. 0.


















Problem 435 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F(-2) F(-2) F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 240 240 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.317 0.339 0.662 0. 0. 0. 0.


















Problem 436 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F(-2) F(-2) F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 174 174 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.269 0.116 0.487 0. 0. 0. 0.


















Problem 437 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F(-2) F(-2) F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 225 225 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.343 0.294 0.477 0. 0. 0. 0.


















Problem 438 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F(-2) F(-2) F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 271 271 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.416 0.351 0.48 0. 0. 0. 0.


















Problem 439 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F(-2) F(-2) F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 314 314 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.471 0.421 0.48 0. 0. 0. 0.


















Problem 440 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 233 233 178 22706 0 10967 0 1034
normalized size 1 1. 0.76 97.45 0. 47.07 0. 4.44
time (sec) N/A 1.987 0.476 1.512 0. 2.004 0. 1.406


















Problem 441 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 165 165 124 8737 0 4199 0 713
normalized size 1 1. 0.75 52.95 0. 25.45 0. 4.32
time (sec) N/A 0.185 0.244 0.727 0. 1.587 0. 1.372


















Problem 442 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 70 2152 0 1035 0 393
normalized size 1 1. 0.72 22.19 0. 10.67 0. 4.05
time (sec) N/A 0.103 0.111 0.362 0. 1.396 0. 1.321


















Problem 443 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 32 371 0 142 0 128
normalized size 1 1. 0.7 8.07 0. 3.09 0. 2.78
time (sec) N/A 0.017 0.015 0.073 0. 1.284 0. 1.176


















Problem 444 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A NO TBD TBD TBD TBD TBD
size 27 0 111 0 0 0 0 0
normalized size 1 0. 4.11 0. 0. 0. 0. 0.
time (sec) N/A 0.07 0.154 0.987 0. 0. 0. 0.


















Problem 445 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A F(-1) A
verified N/A N/A NO TBD TBD TBD TBD TBD
size 27 0 177 0 0 0 0 0
normalized size 1 0. 6.56 0. 0. 0. 0. 0.
time (sec) N/A 0.069 0.388 1.058 0. 0. 0. 0.


















Problem 446 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 143 0 0 0 0 0
normalized size 1 1. 1.4 0. 0. 0. 0. 0.
time (sec) N/A 0.044 0.571 0.829 0. 0. 0. 0.


















Problem 447 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 119 119 98 0 0 0 0 0
normalized size 1 1. 0.82 0. 0. 0. 0. 0.
time (sec) N/A 0.133 0.341 0.779 0. 0. 0. 0.


















Problem 448 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 480 480 408 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.66 1.873 0.853 0. 0. 0. 0.


















Problem 449 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 350 350 304 0 0 0 0 0
normalized size 1 1. 0.87 0. 0. 0. 0. 0.
time (sec) N/A 0.413 0.97 1.22 0. 0. 0. 0.


















Problem 450 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 220 220 200 0 0 0 0 0
normalized size 1 1. 0.91 0. 0. 0. 0. 0.
time (sec) N/A 0.256 0.429 1.322 0. 0. 0. 0.


















Problem 451 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 106 106 107 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.067 0.067 0.597 0. 0. 0. 0.


















Problem 452 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-2) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 29 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.1 2.765 1.244 0. 0. 0. 0.


















Problem 453 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-2) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 29 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.102 2.972 0.881 0. 0. 0. 0.


















Problem 454 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 151 108 624 294 466 1103 340
normalized size 1 1.31 0.94 5.43 2.56 4.05 9.59 2.96
time (sec) N/A 0.146 0.171 0.147 1.206 1.329 5.418 1.322


















Problem 455 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 202 278 244 2163 0 0 0 0
normalized size 1 1.38 1.21 10.71 0. 0. 0. 0.
time (sec) N/A 0.405 0.274 0.305 0. 0. 0. 0.


















Problem 456 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 295 408 339 0 0 0 0 0
normalized size 1 1.38 1.15 0. 0. 0. 0. 0.
time (sec) N/A 0.624 0.38 1.284 0. 0. 0. 0.









2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [120] had the largest ratio of [ 0.7692 ]

Table 2.1Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)







1 A 4 3 1. 19 0.158







2 A 4 3 1. 19 0.158







3 A 4 3 1. 17 0.176







4 A 2 1 0.85 16 0.062







5 A 4 3 1. 19 0.158







6 A 4 4 0.9 19 0.21







7 A 4 4 1. 19 0.21







8 A 4 3 0.84 19 0.158







9 A 4 4 1. 21 0.19







10 A 4 4 1. 21 0.19







11 A 4 4 1. 19 0.21







12 A 4 4 1. 18 0.222







13 A 3 3 0.79 21 0.143







14 A 3 3 0.78 21 0.143







15 A 4 4 0.8 21 0.19







16 A 4 4 1. 21 0.19







17 A 4 4 0.78 21 0.19







18 A 4 4 0.78 21 0.19







19 A 4 4 1. 21 0.19







20 A 4 4 1. 21 0.19







21 A 5 4 1. 19 0.21







22 A 4 4 1. 18 0.222







23 A 4 3 0.77 21 0.143







24 A 3 3 0.77 21 0.143







25 A 3 3 0.77 21 0.143







26 A 5 4 0.78 21 0.19







27 A 4 4 1. 21 0.19







28 A 5 6 0.94 21 0.286







29 A 4 4 0.75 21 0.19







30 A 4 4 0.75 21 0.19







31 A 8 6 1. 21 0.286







32 A 7 6 1. 21 0.286







33 A 6 5 1. 19 0.263







34 A 2 2 1. 18 0.111







35 A 4 4 1.5 21 0.19







36 A 6 6 1.28 21 0.286







37 A 7 6 1.23 21 0.286







38 A 8 6 1.15 21 0.286







39 A 9 8 0.99 21 0.381







40 A 8 7 1.08 21 0.333







41 A 6 6 1.14 19 0.316







42 A 2 2 1. 18 0.111







43 A 7 7 1.27 21 0.333







44 A 8 8 1.18 21 0.381







45 A 9 8 1.16 21 0.381







46 A 11 9 1.12 21 0.429







47 A 9 8 1.23 21 0.381







48 A 3 2 1. 19 0.105







49 A 3 2 1. 18 0.111







50 A 11 9 1.16 21 0.429







51 A 11 9 1.13 21 0.429







52 A 12 9 1.1 21 0.429







53 A 15 10 1.14 21 0.476







54 A 14 9 1.15 21 0.429







55 A 12 8 1.26 21 0.381







56 A 3 2 1. 21 0.095







57 A 4 4 1. 19 0.21







58 A 3 2 1. 18 0.111







59 A 15 9 1.13 21 0.429







60 A 14 9 1.09 21 0.429







61 A 15 9 1.08 21 0.429







62 A 24 10 1.2 21 0.476







63 A 23 9 1.23 21 0.429







64 A 21 8 1.3 21 0.381







65 A 3 2 1. 21 0.095







66 A 5 6 1. 21 0.286







67 A 4 4 1. 21 0.19







68 A 4 4 1. 21 0.19







69 A 4 4 1. 19 0.21







70 A 3 2 1. 18 0.111







71 A 27 9 1.07 21 0.429







72 A 23 9 1.06 21 0.429







73 A 24 9 1.05 21 0.429







74 A 1 1 1. 13 0.077







75 A 1 1 1. 14 0.071







76 A 6 3 1. 21 0.143







77 A 6 3 1. 19 0.158







78 A 7 5 1. 18 0.278







79 A 6 5 1. 21 0.238







80 A 6 5 1. 21 0.238







81 A 6 3 1. 21 0.143







82 A 6 3 1. 21 0.143







83 A 6 3 1. 21 0.143







84 A 8 3 1. 23 0.13







85 A 8 3 1. 21 0.143







86 A 5 4 0.82 20 0.2







87 A 14 8 1. 23 0.348







88 A 9 7 1. 23 0.304







89 A 8 5 1. 23 0.217







90 A 8 3 1. 23 0.13







91 A 8 3 1. 23 0.13







92 A 12 8 1. 23 0.348







93 A 10 8 1. 23 0.348







94 A 8 6 1. 21 0.286







95 A 3 3 1. 20 0.15







96 A 6 6 1.24 23 0.261







97 A 9 8 1.15 23 0.348







98 A 11 8 1.11 23 0.348







99 A 13 8 1.08 23 0.348







100 A 13 10 1. 23 0.435







101 A 11 8 1. 23 0.348







102 A 8 6 1. 21 0.286







103 A 3 3 1. 20 0.15







104 A 10 9 1.13 23 0.391







105 A 12 10 1.09 23 0.435







106 A 14 10 1.07 23 0.435







107 A 19 14 1. 23 0.609







108 A 16 12 1. 23 0.522







109 A 13 10 1.57 21 0.476







110 A 8 8 1.15 20 0.4







111 A 19 13 1. 23 0.565







112 A 20 16 1. 23 0.696







113 A 31 15 1. 23 0.652







114 A 28 13 1. 23 0.565







115 A 25 11 1.7 23 0.478







116 A 22 10 1.09 21 0.476







117 A 12 9 1.09 20 0.45







118 A 32 14 1. 23 0.609







119 A 32 17 1. 23 0.739







120 A 22 10 1.47 13 0.769







121 A 7 7 1.15 23 0.304







122 A 12 9 1.08 23 0.391







123 A 24 11 1. 23 0.478







124 A 10 7 1. 20 0.35







125 A 14 7 1. 22 0.318







126 A 18 7 1. 22 0.318







127 A 0 0 0. 0 0.







128 A 0 0 0. 0 0.







129 A 0 0 0. 0 0.







130 A 8 7 1. 23 0.304







131 A 6 6 1. 23 0.261







132 A 7 7 1. 21 0.333







133 A 5 4 1. 20 0.2







134 A 12 11 1. 23 0.478







135 A 11 9 1. 23 0.391







136 A 16 11 1. 23 0.478







137 A 9 7 1. 23 0.304







138 A 6 6 1. 23 0.261







139 A 8 7 1. 21 0.333







140 A 6 4 1. 20 0.2







141 A 18 11 1. 23 0.478







142 A 14 10 1. 23 0.435







143 A 16 11 1. 23 0.478







144 A 7 7 1. 23 0.304







145 A 6 6 1. 23 0.261







146 A 6 7 1. 21 0.333







147 A 4 4 1. 20 0.2







148 A 7 8 1. 23 0.348







149 A 11 10 1. 23 0.435







150 A 16 11 1. 23 0.478







151 A 6 6 1. 23 0.261







152 A 6 6 1. 23 0.261







153 A 5 6 1. 21 0.286







154 A 3 3 1. 20 0.15







155 A 11 10 1. 23 0.435







156 A 15 12 1.01 23 0.522







157 A 0 0 0. 0 0.







158 A 0 0 0. 0 0.







159 A 0 0 0. 0 0.







160 A 0 0 0. 0 0.







161 A 0 0 0. 0 0.







162 A 3 3 1. 23 0.13







163 A 4 4 1. 23 0.174







164 A 3 2 1. 21 0.095







165 A 1 1 1. 16 0.062







166 A 0 0 0. 0 0.







167 A 0 0 0. 0 0.







168 A 0 0 0. 0 0.







169 A 2 2 1. 14 0.143







170 A 0 0 0. 0 0.







171 A 2 2 1. 21 0.095







172 A 2 2 1. 21 0.095







173 A 4 3 1. 19 0.158







174 A 4 4 1. 21 0.19







175 A 3 3 0.9 21 0.143







176 A 4 3 0.82 21 0.143







177 A 2 2 1. 21 0.095







178 A 2 2 1. 21 0.095







179 A 2 1 0.85 18 0.056







180 A 2 2 0.84 21 0.095







181 A 4 3 0.85 21 0.143







182 A 4 3 0.84 21 0.143







183 A 4 5 1. 23 0.217







184 A 4 5 1. 23 0.217







185 A 5 5 1. 21 0.238







186 A 3 4 0.82 23 0.174







187 A 7 6 0.78 23 0.261







188 A 5 5 0.81 23 0.217







189 A 2 2 1. 23 0.087







190 A 2 2 1. 23 0.087







191 A 2 2 0.79 20 0.1







192 A 2 2 0.8 23 0.087







193 A 2 2 0.79 23 0.087







194 A 4 4 0.79 23 0.174







195 A 4 4 0.78 23 0.174







196 A 4 5 1. 23 0.217







197 A 6 6 1. 23 0.261







198 A 5 5 1. 21 0.238







199 A 5 5 0.77 23 0.217







200 A 7 6 0.76 23 0.261







201 A 7 6 0.76 23 0.261







202 A 2 2 1. 23 0.087







203 A 2 2 1. 23 0.087







204 A 2 2 0.78 20 0.1







205 A 2 2 0.78 23 0.087







206 A 3 3 0.75 23 0.13







207 A 2 2 0.77 23 0.087







208 A 4 4 0.77 23 0.174







209 A 4 4 0.75 23 0.174







210 A 6 6 1. 23 0.261







211 A 5 6 1. 23 0.261







212 A 2 2 1. 21 0.095







213 A 2 2 1. 23 0.087







214 A 6 7 1.31 23 0.304







215 A 7 7 1.23 23 0.304







216 A 10 9 1. 23 0.391







217 A 9 8 1. 23 0.348







218 A 5 5 1. 20 0.25







219 A 8 8 1. 23 0.348







220 A 9 8 1. 23 0.348







221 A 7 8 1. 23 0.348







222 A 6 7 1. 23 0.304







223 A 2 2 1. 21 0.095







224 A 3 3 1. 23 0.13







225 A 7 8 1.26 23 0.348







226 A 16 10 1. 23 0.435







227 A 14 8 1. 23 0.348







228 A 7 6 1. 20 0.3







229 A 9 9 1. 23 0.391







230 A 10 9 1. 23 0.391







231 A 10 9 1. 23 0.391







232 A 4 3 1. 23 0.13







233 A 4 3 1. 21 0.143







234 A 4 3 1. 23 0.13







235 A 8 8 1.2 23 0.348







236 A 24 9 1. 23 0.391







237 A 19 9 1. 23 0.391







238 A 10 7 1. 20 0.35







239 A 10 9 1. 23 0.391







240 A 11 9 1. 23 0.391







241 A 2 2 1. 18 0.111







242 A 2 2 1. 19 0.105







243 A 2 3 1. 12 0.25







244 A 4 4 1. 10 0.4







245 A 3 4 1. 19 0.21







246 A 3 4 1. 21 0.19







247 A 16 6 1. 22 0.273







248 A 20 6 1. 22 0.273







249 A 0 0 0. 0 0.







250 A 0 0 0. 0 0.







251 A 7 8 1. 25 0.32







252 A 8 9 1. 25 0.36







253 A 6 5 1. 23 0.217







254 A 12 9 1. 25 0.36







255 A 14 11 1. 25 0.44







256 A 19 13 1. 25 0.52







257 A 11 12 1. 25 0.48







258 A 11 11 1. 22 0.5







259 A 11 10 1. 25 0.4







260 A 5 4 1. 25 0.16







261 A 7 8 1. 25 0.32







262 A 8 9 1. 25 0.36







263 A 7 8 1. 25 0.32







264 A 9 9 1. 25 0.36







265 A 7 5 1. 23 0.217







266 A 17 9 1. 25 0.36







267 A 18 12 1. 25 0.48







268 A 19 13 1. 25 0.52







269 A 16 11 1. 22 0.5







270 A 14 12 1. 25 0.48







271 A 11 10 1. 25 0.4







272 A 6 4 1. 25 0.16







273 A 8 8 1. 25 0.32







274 A 9 9 1. 25 0.36







275 A 6 5 1. 13 0.385







276 A 7 8 1. 25 0.32







277 A 7 9 1. 25 0.36







278 A 5 5 1. 23 0.217







279 A 8 9 1. 25 0.36







280 A 14 12 1. 25 0.48







281 A 12 12 1. 25 0.48







282 A 7 7 1. 22 0.318







283 A 4 4 1. 25 0.16







284 A 6 8 1. 25 0.32







285 A 7 9 1. 25 0.36







286 A 7 8 1. 25 0.32







287 A 7 8 1. 25 0.32







288 A 6 8 1. 25 0.32







289 A 4 4 1. 23 0.174







290 A 11 9 1. 25 0.36







291 A 12 11 1. 25 0.44







292 A 11 11 1. 25 0.44







293 A 3 3 1. 22 0.136







294 A 5 7 1. 25 0.28







295 A 6 8 1. 25 0.32







296 A 8 10 1. 25 0.4







297 A 9 8 1. 25 0.32







298 A 7 8 1. 25 0.32







299 A 6 8 1. 25 0.32







300 A 5 5 1. 23 0.217







301 A 15 9 1. 25 0.36







302 A 13 13 1.01 25 0.52







303 A 12 13 1. 25 0.52







304 A 11 11 1. 25 0.44







305 A 4 4 1. 25 0.16







306 A 5 5 1. 22 0.227







307 A 6 9 1. 25 0.36







308 A 7 10 1. 25 0.4







309 A 8 10 1. 33 0.303







310 A 6 6 1. 31 0.194







311 A 8 9 1. 33 0.273







312 A 13 11 1. 33 0.333







313 A 12 12 1. 33 0.364







314 A 7 7 1. 30 0.233







315 A 4 4 1. 33 0.121







316 A 6 8 1. 33 0.242







317 A 5 5 1. 13 0.385







318 A 3 3 1. 25 0.12







319 A 4 4 1. 25 0.16







320 A 3 2 1. 23 0.087







321 A 1 1 1. 16 0.062







322 A 0 0 0. 0 0.







323 A 0 0 0. 0 0.







324 A 26 6 1. 22 0.273







325 A 20 6 1. 22 0.273







326 A 14 11 1. 20 0.55







327 A 0 0 0. 0 0.







328 A 0 0 0. 0 0.







329 A 9 7 1. 23 0.304







330 A 8 7 1. 23 0.304







331 A 7 7 1. 21 0.333







332 A 6 6 1. 20 0.3







333 A 3 3 1. 23 0.13







334 A 2 2 1. 23 0.087







335 A 6 7 1. 23 0.304







336 A 7 7 1. 23 0.304







337 A 9 7 1. 21 0.333







338 A 8 7 1. 21 0.333







339 A 7 7 1. 19 0.368







340 A 6 6 1. 18 0.333







341 A 3 3 1. 21 0.143







342 A 2 2 1. 21 0.095







343 A 6 7 1. 21 0.333







344 A 7 7 1. 21 0.333







345 A 2 2 1. 22 0.091







346 A 2 2 1. 23 0.087







347 A 2 2 1. 25 0.08







348 A 4 4 1. 18 0.222







349 A 4 4 1. 18 0.222







350 A 3 3 1. 22 0.136







351 A 5 4 1. 27 0.148







352 A 5 4 1. 27 0.148







353 A 5 4 1.26 25 0.16







354 A 1 1 1. 18 0.056







355 A 3 3 1. 27 0.111







356 A 3 3 1. 27 0.111







357 A 5 4 1. 27 0.148







358 A 5 4 1. 27 0.148







359 A 7 7 0.79 29 0.241







360 A 7 8 0.82 29 0.276







361 A 7 8 0.86 27 0.296







362 A 2 2 1. 20 0.1







363 A 4 4 1. 29 0.138







364 A 4 4 1. 29 0.138







365 A 7 7 1. 29 0.241







366 A 12 9 1. 29 0.31







367 A 4 3 1. 21 0.143







368 A 4 3 1. 21 0.143







369 A 4 3 1. 19 0.158







370 A 4 4 1. 21 0.19







371 A 2 2 0.89 21 0.095







372 A 2 2 0.89 21 0.095







373 A 4 3 1. 21 0.143







374 A 4 3 1. 21 0.143







375 A 3 2 0.86 18 0.111







376 A 4 3 0.87 21 0.143







377 A 2 2 0.89 21 0.095







378 A 2 2 0.89 21 0.095







379 A 4 4 1. 23 0.174







380 A 4 4 1. 23 0.174







381 A 4 4 1. 21 0.19







382 A 5 6 0.84 23 0.261







383 A 4 4 0.84 23 0.174







384 A 4 4 0.85 23 0.174







385 A 4 4 1. 23 0.174







386 A 4 4 1. 23 0.174







387 A 2 2 0.84 20 0.1







388 A 3 3 0.85 23 0.13







389 A 4 4 0.86 23 0.174







390 A 4 4 0.86 23 0.174







391 A 4 4 0.86 23 0.174







392 A 4 4 1. 23 0.174







393 A 4 4 1. 23 0.174







394 A 4 4 1. 21 0.19







395 A 5 6 0.82 23 0.261







396 A 4 4 0.84 23 0.174







397 A 4 4 0.84 23 0.174







398 A 4 4 1. 23 0.174







399 A 4 4 1. 23 0.174







400 A 2 2 0.83 20 0.1







401 A 3 3 0.84 23 0.13







402 A 4 4 0.84 23 0.174







403 A 4 4 0.85 23 0.174







404 A 4 4 0.85 23 0.174







405 A 4 4 0.84 23 0.174







406 A 0 0 0. 0 0.







407 A 0 0 0. 0 0.







408 A 2 2 1. 23 0.087







409 A 0 0 0. 0 0.







410 A 0 0 0. 0 0.







411 A 0 0 0. 0 0.







412 A 0 0 0. 0 0.







413 A 0 0 0. 0 0.







414 A 0 0 0. 0 0.







415 A 5 5 1. 23 0.217







416 A 0 0 0. 0 0.







417 A 0 0 0. 0 0.







418 A 0 0 0. 0 0.







419 A 0 0 0. 0 0.







420 A 4 4 1. 25 0.16







421 A 5 6 0.82 23 0.261







422 A 5 6 0.84 23 0.261







423 A 4 4 1. 21 0.19







424 A 2 2 1. 23 0.087







425 A 5 5 1. 23 0.217







426 A 10 8 1. 23 0.348







427 A 10 5 1. 25 0.2







428 A 8 5 1. 25 0.2







429 A 6 5 1. 23 0.217







430 A 3 3 1. 25 0.12







431 A 7 6 1. 25 0.24







432 A 14 8 1. 25 0.32







433 A 23 9 1. 25 0.36







434 A 17 9 1. 25 0.36







435 A 12 9 1. 25 0.36







436 A 8 9 1. 25 0.36







437 A 11 9 1. 25 0.36







438 A 15 9 1. 25 0.36







439 A 20 9 1. 25 0.36







440 A 9 5 1. 25 0.2







441 A 7 5 1. 25 0.2







442 A 5 4 1. 23 0.174







443 A 1 1 1. 16 0.062







444 A 0 0 0. 0 0.







445 A 0 0 0. 0 0.







446 A 3 3 1. 26 0.115







447 A 3 3 1. 32 0.094







448 A 13 4 1. 27 0.148







449 A 10 4 1. 27 0.148







450 A 7 4 1. 25 0.16







451 A 2 2 1. 18 0.111







452 A 0 0 0. 0 0.







453 A 0 0 0. 0 0.







454 A 7 5 1.31 23 0.217







455 A 13 10 1.38 25 0.4







456 A 17 11 1.38 25 0.44